> Haskell has a library where even the type system can express differentiation of general algebraic data types! It's not really the same sort of differentiatio

> Haskell has a library where even the type system can express differentiation of general algebraic data types! It's not really the same sort of differentiation. Derivatives of algebraic data types (as implementable in Haskell) only generalize formal derivatives of polynomials. You need a lot more machinery before you can talk about smoothness.