On 6 Dec 2010, at 14:09, John Smith wrote: > This proposal now has a Wiki page > http://haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal See also Ashley Yakeley's http://www.haskell.org/haskellwiki/Functor_hierarchy_proposal Cheers Conor