Data.Functor.Contravariant.Adjunction
class Adjunction f g
adjuncted
contrarepAdjunction
coindexAdjunction