Type annotations in Python's error messages | Heykuki News