@hackage adjunctions4.2

Adjunctions and representable functors

Adjunctions and representable functors