fact: Parameter unfold_interp : forall {E F R} {f : E ~> itree F} (t : itree E R), interp f t ≈ (_interp f (observe t)).
imports: Coq(Setoid Morphisms) ITree(Eq.Shallow) ITree.Core.ITreeDefinition ITree.Basics.Basics ITree.Indexed.Sum ITree.Interp.Interp ITree.Interp.Recursion