Is `Annotated` compatible with `type[T]`?

I think I’m having trouble seeing the other side of the argument because I don’t know what the goal, from a users perspective, is to do this spec tightening. Could someone give me a simple example of something your average Python user would do that is greatly improved by this change?