This is your work, valued

ProfunKtor

Advanced
@profunktor

A profunctor is just a bifunctor that is contravariant in the first argument and covariant in the second. What's the problem?