@hackage adjunctions4.3

Adjunctions and representable functors

Adjunctions and representable functors