Control.Functor.Adjunction
class
Adjunction
f g
data
ACompF
f g a
Every Right Adjoint is Representable
repAdjunction
unrepAdjunction