generics-sop-0.4.0.1: Generic Programming using True Sums of Products
Generics.SOP.Sing
module Data.SOP.Sing