1. Type safety!
Run time type hint checks in the standard library, small performance impact allowed.
2. Compilation/optimisation using your hints
Like cython but using python's own type hints so you can give the compiler type information without leaving valid python.