Yup! I'm also hopeful that the upcoming type-checker from Astral will be an improvement over Mypy. I've found that Mypy's error messages are sometimes hard to reason about.

[0]: https://x.com/charliermarsh/status/1884651482009477368