Precedence: 5 `kyokl` - co[K]leisli [Y]oneda c[O]variant [K]leisli K[L]eisli This operator is a combination of behaviour of kyo and yokl operators. (`kyokl`): t a -> into (from (tt a) (ttt o)) (ttt (t o))