[mypy]