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