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