-- differentiation ------------------------------------------------------------

df :: Int -> Dif a -> Dif a
df n (D xs) = D (drop n xs)
df :: Int -> Dif a -> Dif a
df n (D xs) = D (drop n xs)
df n (D xs) = D (drop n xs)