Algebraic data types
====================

.. admonition:: To be written

   - Sum types
   - Type definitions
   - Recursive types (lists, trees)