I’m doing some research on Python type annotations recently. I found that, some dynamic typing related bugs can be effectively avoided in the early stages of code development, by adding type annotations to Python code and applying some type checking tools (such as MyPy, PyType, Pyright, and Pyre, etc.). The introduction of type annotations effectively improves the type safety of Python code. However, different tools discover, classify and report defects in different ways, and there is little overlap in the defects they reported. In the same code segment, some type checking tools will report defects but some will not. These may confuse users. Because it is not easy for the user to determine which tools give credible results. Based on the above, I have the following suggestion: Is it possible that Python provide a new type checker officially? Or is it possible that Python choose one of the off-the-shelf type checking tools as the official and recommended one? Python is my favourite programming language. I sincerely hope that I can help Python become stronger and safer. I hope this idea can be useful for you.