Checks if a unary predicate p returns true for any element of t.
On a record type, the function operates on the underlying elements of the fields.