fact: Definition throw_prefix_tau : forall E Err R (t : itree (exceptE Err +' E) R), throw_prefix (Tau t) ≅ Tau (throw_prefix t) .
imports: Coq(Morphisms) ExtLib(Structures.Monad) Paco(paco) ITree(ITree ITreeFacts Events.Exception)