Is there a typed language that compiles to python?

Question

This maybe an obvious one, but as a JavaScript dev, I see all the hype around TypeScript, and I kind of share the enthusiasm.

While admittedly outsider to Python, I w