Re: Adding Applicative/Functor instances to all Monads in GHC