Proposal: Applicative => Monad: Call for consensus

Christian Maeder Christian.Maeder at
Thu Jan 20 15:06:29 CET 2011

Am 18.01.2011 10:00, schrieb Wolfgang Jeltsch:
> If both (>>=) and join are class methods with default implementations
> that use the respective other method, 

The same mutual recursion exists between == and /= in the class Eq and I
don't like it, because for an empty instance you do not get a warning
but a runtime error (<<loop>>).

Cheers Christian

More information about the Libraries mailing list