Я ☞ Operators ☞ yu

Precedence: 8

`yu` - [Y]oneda [U]nit

How to read: factor an argument covariantly via Unit object.

`yu` : t a `AR_` into o (t o)

This operator is useful if you want to replace a value inside of some effect:

Some 0 `yu` 1 `AR__` Some 1
None _ `yu` 1 `AR__` None _