Module CCCat.MONAD_TRANSFORMER.M

module M: CCCat.MONAD 

include CCCat.MONAD_BARE
include CCCat.APPLICATIVE