GitHub repository: well-typed/generics-sop
Primary language: Haskell
Description: Generic Programming using True Sums of Products