Simon wrote:
> - The do-expression and MonadZero debate. You'll have seen a
> lot about this, and I'll circulate a separate proposal.
Sorry, I'm not happy with this proposal. Monads are a well
defined mathematical concept and I think the Monad class should
reflect this. Having a mzero (and mfail) method seems weird to
me. I would suggest a MonadZero class having these methods,
and that do notation on works for the MonadZero class (regardless
of if you use patern matching or not).
> - The simple-context restriction.
Either way is fine with me.
> - The default default.
Leave the default default alone. Since we didn't switch to
more generic versions of length et al (good move!) it doesn't
make much sense to do the default change.
-- Lennart
