QuickCheck for Cabal