patch applied (cabal-install): Extend the invariant on the Constraints ADT