Empty

Or

Exception

Result

Exhausted

CheckResult

either

Properties Shrink

empty

Shrink

equal

:-:

exception

GenException PropException Property Exception