[...]

Thank you for very detailed answers! I have practically nothing to add.

It seems to me that most of the Kevin's questions stem from unnecessary focus

on runtime type checking. Here are two ideas about how to fix this:

* Add the word "static" somewhere in the PEP title.

* Add a short note at the start mentioning this is an extension of the type system proposed in PEP 484 and recommending to read PEP 484 first.

What do you think?

--

Ivan