Data.Functor.Contravariant

class Functor f

(>$<)

data Op1 b a

data Op2 b a