A statically typed language that can deeply improve the Python ecosystem - View it on GitHub