Module higher::profunctor
source · Traits
A
Profunctor is just a Bifunctor that is contravariant over its first
argument and covariant over its second argument. What’s the problem?