traverse package:backprop

Lifted traverse. Lifts backpropagatable functions to be backpropagatable functions on Traversable Functors.
traverse, but taking explicit add and zero.
traverse, but with Num constraints instead of Backprop constraints. See vector-sized for a fixed-length vector type with a very appropriate Num instance!