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

Index - :

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