Description
A Haskell helper library that uses Template Haskell to generate instances for classes related to dependent-sum-style packages. It reduces repetitive instance code for strongly typed heterogeneous structures.
Developers use it when manual instances would be tedious and error-prone. Generated code should be reviewed when class definitions or data types change.