Lane i from a where the mask is set, from b where it isn't.
a
b
select :: (mask: Mask($T, $N), a: Vector(T, N), b: Vector(T, N)) -> Vector(T, N)