data Args
data Result
data Gen a
class Arbitrary a
class CoArbitrary a
data Blind a
data Fixed a
data OrderedList a
data NonEmptyList a
data Positive a
data NonZero a
data NonNegative a
data Smart a
data Shrink2 a
data Shrinking s a
class ShrinkState s a
type Property
data Prop
class Testable prop
data Str