Boxed r←[x](Fᑣ)y

r is the result of calling F on [x and] y, and then enclosing the output: r←[x] ⊂⍤F y.