Proposal: Applicative => Monad: Call for consensus

[Christian Maeder]

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