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

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

Profunctor Iso doesn't type check...

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

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)?...