29 Jun
2007
29 Jun
'07
4:06 p.m.
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