fact: Definition forever {E R S} (t : itree E R) : itree E S := cofix forever_t := bind t (fun _ => Tau (forever_t)).
imports: ExtLib.Structures.Functor ExtLib.Structures.Applicative ExtLib.Structures.Monad Program.Tactics ITree(Basics)