http://5outh.blogspot.com/2013/05/symbolic-calculus-in-haske... is more complete and also includes an explanation and a bunch of algebraic simplifications you'd usually want along with the symbolic differentiation itself