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