Functor CCCat.WrapMonad

module WrapMonad (M : MONAD_BARE) : MONAD  with type 'a t = 'a M.t

Implement the applicative and functor modules from only return and bind

Parameters:

M : MONAD_BARE

include CCCat.MONAD_BARE

include CCCat.APPLICATIVE