Continuing the discussion from Tuples conform to Equatable:
I know that functions that take an
Optionalparameter can use a non-optional instance as an argument. Do tuples have the same relationship? I mean that is a tuple with at least one label member a sub-type of a tuple with the same shape but (at least) some labeled members become unlabeled? [...]
Is there such a relationship between tuple types? If not, should we add it? I think so.