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 _