testProperty

data QuickCheckTests

data QuickCheckReplay

data QuickCheckMaxSize

data QuickCheckMaxRatio