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