fact: Definition toLogicT (M : Type -> Type) `{Monad M} (A : Type) (l : LogicT' M A) : LogicT M A := match l with LogicT_' _ await => LogicT_ M A (fun yield => join \o fmap (await (fun x => yield x \o pure))) end.
imports: Hask.Prelude Hask.Control.Monad