Type annotations in Python's error messages | Hacker News Reader