Module type CCCat.MONAD_TRANSFORMER

module type MONAD_TRANSFORMER = sig .. end

include CCCat.MONAD

module M: CCCat.MONAD 

val lift : 'a M.t -> 'a t