let fold2 xs ys ~init ~f = fold2i xs ys ~init ~f:(const (const f))