Tandic and Python are big fans of types. What do you want to see coming in the future? I gave a talk at the typing summit, asking for certain things. Letting keyword arguments get item would make annotated even more powerful. There's a PR open right now to break it on string two.