Named-field tuple should be a subtype of unnamed-field tuple.