mypy == 0.720
