KQL: clarify `top() + []`

[lolbinarycat]

what would the result of top() + [] and top() ++ [] be?

in an implementation that defines top() as matching everything, it would be very easy to make this simply match every element except the first, but that doesn't seem very useful.