According to the docs:
To specify a variable-length tuple of homogeneous type, use literal ellipsis, e.g. Tuple[int, ...]. A plain Tuple is equivalent to Tuple[Any, ...], and in turn to tuple.
So therefore, the annotation Tuple[int] specifies a tuple containing a single integer; yet List[int] implies variable length.
Why must ... be used with Tuple[int, ...] and not with List[int] if both can be homeo/hetero-geneous?