explain mypy better