Description
Provides true sums-of-products representations for Haskell data types. This style of generic programming represents data structures as combinations of alternatives and fields.
It is useful for deriving, serialization, validation, transformations, and generic libraries that need a uniform view of many data types. It is a developer library and has no standalone interface.