Documentation

Pattern matching for lists, as a first-class function. (Could
also be considered as a non-recursive foldr.) If the list
argument is [] then the default argument is returned; otherwise
the function is called with the head and tail of the list.