This package contains the generics system described in the "Scrap Your
Boilerplate" papers.  It defines the "Data" class of types permitting
folding and unfolding of constructor applications, instances of this
class for primitive types, and a variety of traversals.

WWW: http://www.cs.uu.nl/wiki/GenericProgramming/SYB