DDF.Meta.Diff

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

data GDiff r h x

data RTInfDiff r h x

data InfDiff r v h x

data GInfDiff r h x

data Diff r v h x