Right Hook r←[x](F⟜G)y

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

MonadDyad
Right Hook diagramAfter diagram