Re: Laws for Monad and MonadPlus.

13 Mar 2001

      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