Automatic differentiation and backpropagation. We do not attract gradient tape. Instead, the differentiation operator is defined directly as a map between differentiable function objects. Such functions are to be combined in arrow style using (>>>), (***), first, etc.

The original purpose of the package is an automatic backpropagation differentiation component for a functional type-dependent library for deep machine learning. See tutorial details.