Checking and testing
Boolean (property) operators
Counterexamples and witnesses
Listing test values
Listing constructors
Combining tiers
Manipulating tiers
Automatically deriving Listable instances
Extra constructors
Products of tiers
Listing lists
Listing values
Test results