Builds a ^/2 Struct (existential quantification, e.g. for bagof/setof, or integer power).
^
bagof
setof