low then high, as one vector of twice the lanes.
low
high
combine :: (low: Vector($T, $N), high: Vector(T, N)) -> Vector(T, 2 * N)