python/mypy | ExplainGitHub