Re: [GHC] #4834: New Functor => Applicative => Monad Hierarchy