generics-mrsop

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