I love Python but when I use a statically typed language like C, Rust, Go, etc I really feel that it is missing from Python.

I'd love to see a new language exactly like Python but compiled and statically typed. Something similar to Cython, but rather than generating a bunch of C code it would target LLVM. Additionally it would be able to generate pure Python code simply by removing any typing syntax.