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