Re: Global Constraints for Cabal