DDF.Meta.DiffWrapper

type family FDiffType (a :: [*]) x

data DiffWrapper a x