type GHC.Base.MonadPlus :: (* -> *) -> Constraint
class (GHC.Base.Alternative m, GHC.Base.Monad m) =>
      GHC.Base.MonadPlus m where
  ...
  mplus :: m a -> m a -> m a
type GHC.Base.MonadPlus :: (* -> *) -> Constraint
class (GHC.Base.Alternative m, GHC.Base.Monad m) =>
      GHC.Base.MonadPlus m where
  ...
  Control.Monad.mplus :: m a -> m a -> m a