Description
Provides constraint-based generics for Haskell. This helps code derive or define behavior generically while controlling the constraints required for each part of a data type.
It is useful for advanced library authors, serialization, validation, transformations, and deriving-like workflows. It is a developer library and has no standalone interface.