fact: Definition eutt_Handler {E F : Type -> Type} : Handler E F -> Handler E F -> Prop := i_pointwise (fun R => eutt eq).
imports: Coq(Morphisms) ITree(Basics.Basics Basics.Category Core.ITreeDefinition Eq.Eqit Eq.UpToTaus Indexed.Sum Indexed.Relation Interp.Interp Interp.Recursion)