Control.Functor.Adjunction.HigherOrder
class HAdjunction f g