MonadPlus Reform

[Ashley Yakeley]

Does this come under the "standard libraries" topic? I would like to see 
the MonadPlus class disambiguated:

class Monad m => MonadZero m where
    mzero :: m a
class MonadZero m => MonadPlus m where
    mplus :: m a -> m a -> m a
class MonadZero m => MonadOr m where
    morelse :: m a -> m a -> m a

<http://haskell.org/haskellwiki/MonadPlus_reform_proposal>

-- 
Ashley Yakeley, Seattle WA
WWED? http://www.cs.utexas.edu/users/EWD/