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

Index - :

:*Generics.SOP.NP, Generics.SOP
:.:Generics.SOP.BasicFunctors, Generics.SOP