mypy == 1.4.1