********************************************************************************
Module: alba.core.list
********************************************************************************


.. code-block::

    class List (A: Any): Any :=
        []:   List
        (::): A -> List -> List