Relationclasses

I want to instanciate diffeq and quoteq as Instances of the type class Equivalence to use tactics like reflexivity, symmetry or rewrite.