Valences r←[x](F⁖G)y

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

MonadDyad
Valences (monad) diagramValences (dyad) diagram