QIO.Vec
data
Vec
x a
empty
(<@@>)
(<**>)
(<++>)