On Pairs r←(F⌺)y

r is the result of applying F to each adjacent pair of y, passed as the left and right argument.