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