type family DiffType (v :: *) (x :: *)

data Diff r v h x

class MetaOrd x