@hackage representable-functors0.1.0.1

Adjunctions

Adjunctions