Reverse Atop r←[x](F⍛G)y

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

MonadDyad
Reverse Compose diagramReverse Atop diagram