Functor Monad.MonadPlusUtils

module MonadPlusUtils: 
functor (M : MonadPlus) -> MonadPlusUtilsSig  with type 'a m = 'a M.m

include Monad.MonadUtilsSig

val mzero : 'a m

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

val guard : bool -> unit m

val msum : 'a m list -> 'a m