generalise constraints in cabal.config