Atop r←[x](F⍤G)y

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

MonadDyad
Compose diagramAtop diagram