Apropos real transformers, there is a new release candidate out for mtl 2.3: https://discourse.haskell.org/t/ann-release-candidate-for-mt...