fact: Definition cat {E T U V} (k : T -> itree E U) (h : U -> itree E V) : T -> itree E V := fun t => bind (k t) h.
imports: ExtLib.Structures.Functor ExtLib.Structures.Applicative ExtLib.Structures.Monad Program.Tactics ITree(Basics)