No way to have individual type variable substitutions in uniform tuples of parametrized types

Suppose we have:

T = TypeVar('T')
Element = tuple[T]

def fn(elements: tuple[Element, ...]): ...

The problem is that T is forced to be the same for every element, i.e. tuple[tuple[int], tuple[int]] will match, while tuple[tuple[float], tuple[int]] won't. Is there currently any support for this? If not, this would be a worthwhile feature - this would be a big help to get type checking and annotations in ctypes :)

该 issue 未提供仓库文件、测试或实现入口。先从 TypeVar/Element 示例开始，确定 tuple[Element, ...] 的当前行为；完整的贡献首先需要一份达成共识的规范，然后需要相应的实现和测试。