quickcheck-with-counterexamples-1.2: Get counterexamples from QuickCheck as Haskell values