I think that showing that people are willing to pick up missing package maintainer's slack will alleviate the concern of breaking lots of code by refactoring the monad/applicative/functor hierarchy. Code will be broken, but publicly available packages can be fixed by the community during a "staging" period. To that end, I have made a Google Form to collect some volunteer information. If you are interested in helping, please visit: