Pyright is already 100x better than Mypy. Honestly there's no good reason to use Mypy.

It isn't much faster though so hopefully this will fix that.