> has the ability to statically check the type system

I was under the impression that type checking was not one of the goals of PEP 484 etc.