Links for mypy-exhaustive-check