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