> Now it has static types enforced at runtime.

That's not how it works. Type annotations are ignored at runtime. And to be pedantic, even if they were evaluated at runtime, they would be dynamic types, not static types. :p

The type annotations exist to make the code easier to read and to enable certain kinds of static analysis (including a type checker).