Control.Functor.Adjunction
class Adjunction f g
data ACompF f g a

Every Right Adjoint is Representable