2014 Applicative => Monad proposal

[Petr Pudlák]

> 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 if it goes together with the MINIMAL pragma,
-1 otherwise.