DDF.Diff
type family
Diff
(v ::
*
) (x ::
*
)