Re: Laws for Monad and MonadPlus.

[Dylan Thurston]

On Tue, Mar 13, 2001 at 04:15:31PM -0330, Theodore Norvell wrote:
> Are there other identities that I've missed?

What about associativity of mplus:

 (p `mplus` q) `mplus` r  = p `mplus` (q `mplus` r)

Good question!

--Dylan Thurston

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell