Reduce First R←f⌿Y

The form R←f⌿Y implies reduction along the first axis of Y. See Reduce.