Exponential types | Differentiating with the Chain Rule