Variadic Tuple ↔ Tuple Type Annotation using Spread Operator or Rest Parameter, to define varying number of element types

References