Hahaha. I was thinking it would be great to use pyright instead of mypy. So I went looking for the mypy backend, and I stumbled upon a pyright backend too. Thanks @wide-midnight-78598! Now I just have to wait for the next release 🙂