Source code accompanying the paper "Generic Constructors and Eliminators from Descriptions"