Left r←[x]⊣y

If x is provided, r is x; otherwise r is y.

MonadDyad
Same diagramLeft diagram