Integration of QuickCheck with Cabal.