The one you proposed in IRC is also reasonable: `let v: <f32, .. 4> = <0.0, 1.0, 2.0, 3.0> + <0.0, .. 4>;`.