@hackage / hofix-mtl

defining @mtl@-ready monads as * -> * fixed-points