[Haskell-cafe] Re: what is inverse of mzero and return?

In article <41F211FB.3030706@imperial.ac.uk>, Keean Schupke wrote:

This fits the above description, but I don't see how the following can be true:

(mplus a b) >>= c = mplus (a >>= c) (b >>= c)

Try it (and my test code) with [], which is an instance of MonadPlus. mplus is defined as (++) for []. -- Ashley Yakeley, Seattle WA