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