Re: [Haskell-cafe] What are the MonadPlus laws?

Good point; I suppose the constraint m /= _|_ should be added to the law. ajb@spamcop.net wrote:

The problem is this "law":

m >>= \k -> mzero === mzero

I think this "law" is untrue for _all_ MonadPlus instances, and you can trivially check this by setting m to bottom.

Cheers, Andrew Bromage