Lists
=====

.. admonition:: To be written

   - Literal lists, ellipsis notation
   - List comprehensions
   - Basic recursion patterns (motivate polymorphism)