https://www.mypy-lang.org/ https://github.com/python/mypy_extensions/
