On Dec 15, 2011, at 6:19 PM, Gregory Crosswhite wrote:

After all, we already have the Monad typeclass which gives them essentially the same functionality.

Make that the *Monoid* typeclass. :-)

Cheers,

Greg