Fundamental List Dichotomy
lA list is either:
lempty, [ ]or
lnon-empty, in which case it has both a
lfirst
lrest
lMost list definitions deal with these cases separately.
lDefinitions are typically a form of inductive definition, in which [ ] is the basis.