Re: [GHC] #4834: Implement Functor => Applicative => Monad Hierarchy (aka AMP phase 3) (was: New Functor => Applicative => Monad Hierarchy)