Reverse Over r←[x](F⍜G)y

If x is not provided, r is G (F y); if x is provided, r is (F x) G (F y).

MonadDyad
Reverse Compose diagramReverse Over diagram