Profunctor Iso doesn't type check...

What's the Profunctor Representation of "Wither"?...

Array-aggregation across a link-table in Opaleye...

Generalization of strong and closed profunctors...

Why is defining an instance of Choice failing with unknown value?...

Analog of free monads for Profunctors...

Examples of Cartesian (Profunctor)?...

What's the relationship between profunctors and arrows?...