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