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 :-)