考虑以下代码：
from typing import Tuple
t = Tuple[str, int]
x = ('a', 1)
y = ('b', 'c')
assert f(x, t)
assert not f(y, t)
是否有内置函数对typing类型进行按需类型检查，其行为等同于上面的函数f？我已经探索过the documentation，但没有找到看似明显的功能，所以也许我只是错过了它？
进一步检查：
Tuple[str, int].__tuple_params__是(str, int)
List[int].__args__是(int,)
Dict[str, int].__args__为(str, int)