Documentation

We only store partials in sorted order, so the map contained in a partial
will only contain partials with equal or greater keys to that of the map in
which it was found. This should be key for efficiently computing sparse hessians.
there are only (n + k - 1) choose (k - 1) distinct nth partial derivatives of a
function with k inputs.

Variadic Gradients

Unfortunately, variadicity comes at the expense of being able to use
quantification to avoid sensitivity confusion, so be careful when
counting the number of auto calls you use when taking the gradient
of a function that takes gradients!

classNum a => Grad i o o' a | i -> a o o', o -> a i o', o' -> a i o Source