Re: Cabal constraint solver