module type MonadPlus = sig .. end
sig
end
include Monad.Monad
val mzero : 'a m
'a m
val mplus : 'a m -> 'a m -> 'a m
'a m -> 'a m -> 'a m