Les arguments relevés semblent pertinent:

• les tests passent avant le typage → ok mais pourquoi ne pas avoir les deux et laisser ce choix par projet ?
• la lisibilité des en-têtes de fonction peuvent très bien être améliorée
• les annotations requirent leurs propres imports, ce qui peut conduire à des imports circulaires (cf: https://stackoverflow.com/questions/22187279/python-circular-importing/22187343#22187343)