The function verboseCheck from QuickCheck 1 seems to be absent in QuickCheck 2 (or at least, I can't find it). Is there any other way to show which values are used during testing?
Looks like verbose (and other verbose- functions) were returned back to QuickCheck in version 2.4