Algebraic data types

To be written

  • Sum types

  • Type definitions

  • Recursive types (lists, trees)