4 Nov
2019
4 Nov
'19
12:41 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