Pairs and pattern matching
==========================

.. admonition:: To be written

   - Pairs, product type
   - Basic pattern matching