> PS The proposal to fix Functor => Applicative => Monad has patchesThis kind of "breaks everything" changes would require something similar
> attached for GHC and base, but the backwards compatibility bogeyman
> always seems to trump something that will break a lot of code.
to what Python is doing with the 2 -> 3 transition, and considering how
painfully slowly it is progressing there, I understand perfectly well why
people don't want to go there.