Module type Deriving_monad.MonadPlus

module type MonadPlus = sig .. end

include Deriving_monad.Monad

val mzero : 'a m

val mplus : 'a m -> 'a m -> 'a m