Tests for wadler; Guards for primitive types.