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

data GDiff r h x

data Diff r v h x