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