I probably have an unpopular opinion here, but personally I think tuple labels should not have type-system significance, at all.
The type of a tuple should be entirely structural, based on the types of its constituent elements. The labels should exist purely for the convenience of the programmer.
If someone wants labels to have type-system significance, then they should create a struct for their use-case, not a tuple.