Left Fork r←[x](F⇾G)y

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

MonadDyad
Left Hook diagramLeft Fork diagram