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