Type-predicate that validate and match XYZTuple.