Why include mypy at all? Pyright is amazing and all you need.