Data.Profunctor.Adjunction
class
ProfunctorAdjunction
f u