Data.Profunctor.Adjunction

class ProfunctorAdjunction f u