Reduce First N-Wise R←Xf⌿[K]Y

The form R←Xf⌿Y implies N-Wise reduction along the first axis of Y. See Reduce N-Wise.