fact: Definition handle {E F} (f : Handler E F) : E ~> itree F := f.
imports: Coq(Morphisms) ITree(Basics.Basics Basics.Category Core.ITreeDefinition Eq.Eqit Eq.UpToTaus Indexed.Sum Indexed.Relation Interp.Interp Interp.Recursion)