com.thoughtworks
A type class that witnesses Differentiable is a differentiable expression.
Differentiable