Control.Functor.Contra
class
ContraFunctor
f
data
ContraF
a b