Description
A Haskell generic programming library based on true sums of products. It represents data types in a uniform structural form that libraries can inspect, transform, or derive behavior from.
Developers use it to write generic functions, derive instances, and build type-driven libraries. The approach is powerful for library authors, but public APIs should hide unnecessary generic complexity from application code.