El tipo "list" es una lista enlazada inmutable representada usando la notación codice_14 (codice_15 el operador cons) o de forma de encabezado corto codice_16.