| Name | Description |
| hello | The most basic "Hello world" example |
| tree | Display a tree of the factors of a given number. This example showcases full ML-style pattern matching on algebraic datatypes. The technique used here allows template-level control over the display of recursive data structures, even though templates may not use recursion in general. |
| lost | This example shows a bunch of nifty features at once, in the form of a registry for recording information on missing numbers. It uses the PostgreSQL interface, records, initialization/cleanup templates, an exception handling template, and more. |