generics-mrsop-2.3.0: Generic Programming with Mutually Recursive Sums of Products.