ProfunKtor

https://profunktor.dev

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