btw use mypy AND pyright. The OP writes, mypy OR pyright.

mypy -- chokes on excessive number of overloads. Annoyingly runs forever.

pyright -- more verbose; finds issues mypy never will

So when mypy broke had to use pyright. Then fixed mypy by ignoring a module and some configuration voodoo.