One can already combine multiple annotations with the current syntax Annotated[t, X, Y, Z], it is probably subjective whether this is better than Annotated[t][X][Y][Z], but I like the former one more (plus it is already implemented).

--

(other) Ivan