(Explain how this PR changes mypy.)