Я ☞ Operators ☞ yokl

Precedence: 6

`yokl` - [Y]oneda c[O]variant [K]eisli K[L]eisli

How to read: modify argument covariantly with a Kleisli arrow and get a Kleisli arrow back.

It looks similar to yok but here we have Kleisli morphism both in source and target categories.

`yokl` : t a `AR_` into (from a (tt o)) (tt (t o))

This operator is useful for traversing structures:

Some _ `yokl` Try `ha` Check `ha` Some `q____` Some (Some _)
Some _ `yokl` Try `ha` Check `ha` None `q____` None _
None _ `yokl` Try `ha` Check `ha` Some `q____` None _
None _ `yokl` Try `ha` Check `ha` None `q____` None _