relaxed cabal mtl bounds