Left Hook r←[x](F⊸G)y

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

MonadDyad
Left Hook diagramBefore diagram