Lists can be
Nested Arbitrarily-Deeply
lList of lists of lists:
[
[ [1, 2, 3], [2, 3] ], [ [3], [] ] ]
lLists of lists during Òsort by repeated mergingÓ:
l
[[3],
[8], [5], [1], [2], [7], [6], [4]]
[[3,
8], [1, 5], [2, 7], [4, 6]]
[[1,
3, 5, 8], [2, 4, 6, 7]]
[[1,
2, 3, 4, 5, 6, 7, 8]]