2014 Applicative => Monad proposal

[Ganesh Sittampalam]

On 23/05/2013 20:39, David Luposchainsky wrote:

> - Don't break compatibility
> - Apply it gently
> 
> - Applicative m => Monad m
> - Applicative into Prelude (and therefore into the Report)
> - (Alternative m, Monad m) => MonadPlus m

+1

> - Promote `join` into the Monad typeclass

-1

Typeclasses with cyclic defaults are too fragile at the moment. Let's
sort that out *before* adopting a change that increases the number of
such typeclasses.

Ganesh