https://mypy.readthedocs.io/en/stable/running_mypy.html#missing-imports https://mypy.readthedocs.io/en/stable/stubs.html https://adamj.eu/tech/2022/08/23/python-type-hints-gradually-add-types-for-third-party-packages/
