2014 Applicative => Monad proposal

[David Luposchainsky]

Hello everyone,

as announced a couple of days ago, the AMP was quite a success, and I'm
really happy no serious unforseen issues came up. I'm closing the
discussion now, thanks for everyone's support!

I've updated the Wiki [1] and posted the two changes of phase 1 to Trac
[2, 3]. While I'm able to add the Functor/Applicative instances myself,
I'm not experienced enough with GHC to work on the "warnings" part though.

What remains to discuss is the addition of `join` due to the circular
dependency it introduces; [4] may be a future solution to this. Luckily,
we've still got time until phase 3, which is probably more than a year
ahead, to decide what to do. In the meantime I think we should suggest
removing custom `join` functions from module APIs just in case anyway.

Greetings,
David


[1]: http://www.haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal
[2]: http://hackage.haskell.org/trac/ghc/ticket/8003
[3]: http://hackage.haskell.org/trac/ghc/ticket/8004
[4]: http://hackage.haskell.org/trac/ghc/ticket/7633


PS: Yipee :-)