Links for mypy-upgrade