2014 Applicative => Monad proposal

[David Luposchainsky]

Hey,

discussion about the AMP is long over, but I wanted to give the few
people that had some issues with it on IRC the time to write their
objections up and post them here. It seems like that's never going to
happen, so:

*This is the last call to object to the AMP, which has been unanimously
upvoted on the mailing lists.*
(There remains the circular join/>>= issue, but that's probably solved
until phase 3 - the actual implementation - is reached.)

As a reminder, phase one includes adding deprecation messages for Monads
without Applicative/Functor instances and custom usage of join/<*>/pure,
as well as fixing these warnings in GHC's source.

Unless something comes up, I'll post the tickets to Trac by the end of
the week.

Thanks for everyone's participation,
David