Module CCCat.MONAD_TRANSFORMER.M

module M: CCCat.MONAD 

include CCCat.MONAD_BARE

include CCCat.APPLICATIVE