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