Data.Functor.Contravariant.Adjunction

class Adjunction f g

contrarepAdjunction

coindexAdjunction