Try: recover from failure
Test: ignore result, but retain effects
If-then-else: pass value from condition to then-clause
If-then: disciplined form of a guarding
Not: negation by failure
Exclusive choice
Generic filter, derived from monomorphic predicate
Generic ticker, derived from monomorphic predicate
Type guards
Generic ticker, derived from type guard
Generic filters, derived from type guard