After r←[x](F∘G)y

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

MonadDyad
Compose diagramAfter diagram