[stephbook]

Five different type-checkers and even type-checking projects think adding multiple "ignores" is sound code. Typescript would allow overloads without ignores, for example.

Python's type checking ecosystem truly is a mess.