Generate instances of algebraic data types
Generate instances of algebraic data types






