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