This module exports all available examples via a data type which allows to test various procedures (pretty-printing, type checking, etc) over the entire set of examples in a convenient way: each time a function / data type is added to examples, none of the tests is required to be adapted, instead you just add the new definition to examples defined below and all the tests see it automatically.