Reading through the Pull Request, it's nice to see such a civilised, courteous dialog between the submitter and maintainers (https://github.com/python/mypy/pull

Reading through the Pull Request, it's nice to see such a civilised, courteous dialog between the submitter and maintainers (https://github.com/python/mypy/pull/2761 https://github.com/python/mypy/pull/2761). I can imagine (and have previously seen) many similar dialogs break down and resort to less errm... "empathetic"/productive comments. Guido++!