I don't see how it can though - at least it can't do it in a statically typed way because half of the Python ecosystem hasn't bothered with static types and the semantics of the type hints that do exist isn't defined.

So you'll end up with everything you import being `any` which is not really any better than just using Python.