I wish we could just use mypy when we feel like making our code faster :/
Reply on news.ycombinator.com