Control.Functor.Adjunction.HigherOrder
class
HAdjunction
f g