用输入表达式检查变量输入？

Question

自Python 3.5以来我们可以使用typing模块：

import typing
foo = []  # type: typing.List[str]
foo.append('bar')

有没有办法使用typing语法来验证变量？

例如：

foo = ['bar']
assert check_typing(foo, typing.List[str])  # True