fact: Definition throw_prefix_exc : forall E Err R k (e : Err), @throw_prefix Err R E (Vis (inl1 (Throw e) ) k) ≅ Ret (inr e).
imports: Coq(Morphisms) ExtLib(Structures.Monad) Paco(paco) ITree(ITree ITreeFacts Events.Exception)