Test.QuickCheck.Batch
data TestResult