generics-mrsop Generic Programming for Mutually Recursive Families in the Sums of Products style. Check the Generics.MRSOP.Examples.RoseTreeTH for a quick start.