mplus

mplus :: MonadPlus m => m a -> m a -> m a
base Control.Monad