@hackage generics-mrsop1.2.2

Generic Programming with Mutually Recursive Sums of Products.

generics-mrsop

Generic Programming, with combinators, for Mutually Recursive Families in the Sums of Products style.

Check the Generics.MRSOP.Examples.RoseTreeTH for a simple quick start, or read our paper, "Sums of Products for Mutually Recursive Datatypes", for a more detailed description.