If my understanding is correct, a type-checker will have to parse the whole annotation payload to decide if it supports it or not.

That's seems a bit too complicated, doesn't it ? Shouldn't we add a label (like `Annotated[T, 'feature name', X]`, with type alias to shorten the whole thing if need be) to make this decision easier ?