Remove type synonym in instance declaration of a contravariant functor

Question

If I define:

class Contravariant f where
    contramap :: (b -> a) -> f a -> f b

type Op r a = (->) a r

And want to define: