generics-sop-0.3.1.0: Generic Programming using True Sums of Products