Defining Bulk Operations

Almost all primitive list functions are defined by recursion.

Standard form:

f [] = …base case…

f (x : xs) = …recursive case…f xs…

The only list operator allowed

in patterns (on the left hand side

of an equation).