- s8vector-mapiprocedure
- u8vector-mapiprocedure
- s16vector-mapiprocedure
- u16vector-mapiprocedure
- s32vector-mapiprocedure
- u32vector-mapiprocedure
- f32ector-mapiprocedure
- f64vector-mapiprocedure
where F :: I * V(I) [* V1(I) ... VN(I)] -> V
where F :: I * V(I) [* V1(I) ... VN(I)] -> V