The list λ 1 has its head to the right and stores nodes in descending order, and the list λ 2 has its head to the left and stores nodes in ascending order.
λ 1 |i represents a list with head i and tail λ 1 , whereas j|λ 2 represents a list with head j and tail λ 2 .