Abstract
Structural polymorphism allows for generic functions to be defined by induction
over the structure of types. In Generic Haskell, the structure of a type is
perceived as a nested sum of products. Over the last few years it has been
shown that a great amount of generic programs can be defined in terms
... read more