Right r←[x]⊢y

r is y.

MonadDyad
Same diagramRight diagram