As above, this can use `@(…)`.