fact: Definition liftM@{d c} {m : Type@{d} -> Type@{c}} {M : Monad m} {T U : Type@{d}} (f : T -> U) : m T -> m U := fun x => bind x (fun x => ret (f x)).
imports: ExtLib.Structures.Functor ExtLib.Structures.Applicative