Description
Fuseable type-class based generics.
Description
Defining generics that can be used efficiently on heterogenous data structures like syntax trees. Can access elements of multiple types at a single traversal. Non-invasive method don't have to change the representation to use. All boilerplate code can be generated by the supplied Template Haskell functions.