Over r←[x](F⍥G)y

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

MonadDyad
Compose diagramOver diagram