Empty
Or
Exception
Result
Exhausted
CheckResult
either
Properties
Shrink
empty
Shrink
equal
:-:
exception
GenException
PropException
Property
Exception