Yeah, mypy uses it themselves for their releases. I think they get 5x speedups empirically