generics-mrsop-1.2.2: Generic Programming with Mutually Recursive Sums of Products.
A library that supports generic programming for mutually recursive families in the sum-of-products style.
A couple usage examples can be found under Generics.MRSOP.Examples
Signatures
Modules