cabal: mtl upper bounds