Data.Number.Dif
data
Dif
a
val
df
mkDif
dCon
dVar
deriv
unDif