QuickCheck (and SimpleCheck) have the ability to narrow the data being tested to attempt to find a problem. So where test.generative will say "This function failed when passed 42", QuickCheck will say "This function failed, we've narrowed down the range of unacceptable inputs to 40, 41-43 and 45".