While the Functor f => (Pointed f =>) Applicative f => Monad f is still
discussed the default methods would be a step towards the goal.
Adding support in the compiler is the first step. ghc doesn't own the libraries process, which is where the second step happens. Now that the compiler support is there, a (formal) change request is appropriate.