Feature or enhancement
typing.Annotated is currently implemented as a class, but doesn't need to be. All other objects like it in the typing module are implemented as instances of typing._SpecialForm, and we can do the same here. This simplifies the code a lot (making it easier to maintain in the future), and should also be slightly more performant.
Linked PRs