[Haskell] QuickCheck revival and Cabal