Description
Idris 2 data types can be represented generically as sums of products for reusable programming patterns.
It is useful for developers writing generic derivation, serialization, transformations, or proof helpers. This is an advanced library and assumes comfort with typed functional programming.