Re: [Haskell-cafe] Haskell.org GSoC

Wolfgang Jeltsch wrote:

* making Applicative a superclass of Monad

* getting rid of MonadPlus (use (Alternative m, Monad m) instead of (MonadPlus m) or, with another extension, even something like (forall a. Monoid (m a), Monad m))

* getting rid of ugly Monoid method names (empty, append, concat or something totally different instead of mempty, mappend, mconcat)

* redesigning numeric classes

Let's make these ideas more concrete and add them to the Other Prelude, if they haven't been already! http://www.haskell.org/haskellwiki/The_Other_Prelude Martijn.