fact: Definition cat {E F G : Type -> Type} (f : E ~> itree F) (g : F ~> itree G) : E ~> itree G := fun R e => interp g (f R e).
imports: Coq(Morphisms) ITree(Basics.Basics Basics.Category Core.ITreeDefinition Eq.Eqit Eq.UpToTaus Indexed.Sum Indexed.Relation Interp.Interp Interp.Recursion)