Typeful symbolic differentiation

Oleg Kiselyov writes:

A symbolic differentiator for a subset of Haskell functions (which covers arithmetics and a bit of trigonometry). We can evaluate our functions numerically － and differentiate them symbolically. Partial derivatives are supported as well.