I said in replies that my experience with mypy has been overwhelmingly negative, and I stand by that, but it's also important that it's *my experience*. I'm coming at mypy with the expectation that "type checker" means "program that checks whether a program is well-typed or not," but that seems to not be a consensus interpretation of the term "type checker."

Perhaps a more fair summary, then, is that I don't want what most people want, I want what I would consider to be a "type checker."