fact: Definition bind {E : Type -> Type} {T U : Type} (u : itree E T) (k : T -> itree E U) : itree E U := subst k u.
imports: ExtLib.Structures.Functor ExtLib.Structures.Applicative ExtLib.Structures.Monad Program.Tactics ITree(Basics)