The type of immutable singly-linked lists.
Use the constructors [] and :: (infix) to create values of this type, or
the notation [1;2;3]. Use the values in the List module to manipulate
values of this type, or pattern match against the values directly.
Note: an abbreviation for List<'a>