[Python-ideas] When type hint is used, Python forbids checking variable types at run time