It's the complete opposite. The objective of type hints is that they're optional precisely because type hints narrow the functionality of the language. And evid

It's the complete opposite. The objective of type hints is that they're optional precisely because type hints narrow the functionality of the language. And evidenced by the fact that different type checks have different heuristics for determining what is a valid typed program and what isn't, it seems that the decision is correct. No type system will allow for the dynamism that Python supports. It's not a question of how you annotate types, it's about how you resolve types.