Agreed. Mypy pre-commit hooks are very useful if you’re starting a fresh project. Adding typing to an existing project which reuses variables with different types… We lost weeks to it.