Right Fork r←[x](F⇽G)y

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

MonadDyad
Right Hook diagramRight Fork diagram