ghc-generics-sop 0.4.0.1 Generic Programming using True Sums of Products for Haskell

This Haskell package supports the definition of generic functions. Datatypes are viewed in a uniform, structured way: the choice between constructors is represented using an n-ary sum, and the arguments of each constructor are represented using an n-ary product.