@hackage adjunctions2.2.1.1

Adjunctions

Adjunctions