@hackage adjunctions4.0

Adjunctions and representable functors

Adjunctions and representable functors