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