pattern matching functions list
pattern matching functions recursion list
list eq
list ==
list eq == collection equality Nil
