Proposal #1464: add dropPrefix to Data.List

Ashley Yakeley ashley at semantic.org
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 <http://haskell.org/haskellwiki/MonadPlus>.

-- 
Ashley Yakeley



More information about the Libraries mailing list