Links for ducktype-mypy-plugin