# 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](https://icfp18.sigplan.org/event/tyde-2018-sums-of-products-for-mutually-recursive-datatypes), "Sums of Products for Mutually Recursive Datatypes", for a more detailed description.