@select
a ? x : y
(int[*]) { 1, 2 }
[*]
[?]
<* *>
@default
any*
any
GenericList
AnyList
assert(false)