Precedence: 7
`yok` - [Y]oneda c[O]variant [K]leisli
How to read: modify argument covariantly with a Kleisli morphism.
It looks similar to yo except the fact that we map a Kleisli morphism - that’s why we have a small hook here.
Simplified type annotation:
`yok` : t a `AR_` into (from a (tt o)) (t o)
Compare it with yo and kyo operators:
(`yo`): t a `AR_` into (from a o) (t o)
(`kyo`): t a `AR_` into (from (tt a) o) (t o)
This operator is useful to do binding:
Some _ `yok` Try `ha` Some ===> Some _
None _ `yok` Try `ha` Some ===> None _
Behaviour is similar to monadic bind method in vanilla Haskell.
If you want to ignore a handling argument, use yuk instead.
Some _ `yuk` Try `ha` Some `hv` Unit ===> Some _
None _ `yuk` Try `ha` Some `hv` Unit ===> None _