Right Types, Wrong Code: Surprising Bugs a Python Type Checker Catches
pyrefly.org