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