Proposal #1464: add dropPrefix to Data.List

Ashley Yakeley ashley at
Fri Jun 29 16:06:41 EDT 2007

Cale Gibbard wrote:
> I agree regarding Maybe, but in the long run, I really think we should
> bring back MonadZero.

We should also separate out the two different kinds of MonadPlus 
instances. There are those such as [] that satisfy

   mplus a b >>= k = mplus (a >>= k) (b >>= k)

And there are those such as Maybe, IO and STM that satisfy

   mplus (return a) b = return a

See <>.

Ashley Yakeley

More information about the Libraries mailing list