QIO.Vec
data Vec x a