I think it’s important to tease these two axes apart because when you hear people clamoring for better static type checking, remember many of those people are not asking to have to write more type annotations. Likewise, when you hear people railing against type annotations, they may not be saying they want to ignore errors in their code.