Looks like a big circle `yi` with a bullet point `ho` inside designating covariant position of a focused parameter equipped with a small left hook `kx` designating source co-Kleisli category and a small right hook `xk` designating source Kleisli category.
Original mapping of derived functor definition:
Type declaration with labels arrangement: