fact: Definition rec_fix {E : Type -> Type} {A B : Type} (body : endo (A -> itree (callE A B +' E) B)) : A -> itree E B := rec (body call).
imports: ITree(Basics.Basics Basics.Category Core.ITreeDefinition Indexed.Sum)