fact: Definition calling' {A B} {F : Type -> Type} (f : A -> itree F B) : callE A B ~> itree F := fun _ e => match e with | Call a => f a end.
imports: ITree(Basics.Basics Basics.Category Core.ITreeDefinition Indexed.Sum)