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