Compiling typed Python: types are very broad hints and they are sometimes lies.

Compiling typed Python

With a little effort, you can make your mypy-typed Python go zoom.