So that Cabal, if it wants, can use a more general algorithm to find a consistent set of packages to use.