Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches | Hacker News Reader