Intersections do not short-circuit

robrix

This means that you can’t safely take the derivative of arbitrary combinator predicates if they expect it, as do all of the quote predicates.