
4 Nov
2019
4 Nov
'19
6:11 p.m.
I was just curious whether something like above was ever considered and,
if rejected, why.
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