Module type CCCat.MONAD

module type MONAD = sig .. end

include CCCat.MONAD_BARE

include CCCat.APPLICATIVE