Good point; I suppose the constraint m /= _|_ should be added to the law.
[EMAIL PROTECTED] 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
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
