Each Right r←x(Fᑈ)y

r is the result of calling F on x as a whole and each element of y: r←x F⍥∞‿¯1 y.