我是mypy的粉丝，我想在具有不同类型值的字典上添加一些类型提示。
我的字典如下
{'name':'John', 'age':136, 'hobbies':['Python', 'cooking', 'reading']}
我想到的当前类型是：Dict[str, Union[str, int, List[str]]
是否有任何方法可以指定name是字符串，age是整数，并且hobbies是列表（用于通过mypy进行进一步的特定类型检查） ？
注意：：此数据来自包含此类对象列表的外部来源。除了对元素进行循环和转换外，我对此的控制有限。
谢谢