fact: Definition map {E R S} (f : R -> S) (t : itree E R) : itree E S := bind t (fun x => Ret (f x)).
imports: ExtLib.Structures.Functor ExtLib.Structures.Applicative ExtLib.Structures.Monad Program.Tactics ITree(Basics)