Links for mypy-primer