Type-predicate that validate and match LabTuple.