fact: Fixpoint burn (n : nat) {E R} (t : itree E R) := match n with | O => t | S n => match observe t with | RetF r => Ret r | VisF e k => Vis e k | TauF t' => burn n t' end end.
imports: ExtLib.Structures.Functor ExtLib.Structures.Applicative ExtLib.Structures.Monad Program.Tactics ITree(Basics)