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