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

Index - :

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