[F | R]
represents a non-empty list with
F as first R as rest
F as first
R as rest
Note: R is implied to be a list; we do not add brackets
The rest is [b,c,d]
The rest is [c,d]
etc.
