a little more on list as a Head: 2> A = [ [1,2] | [3,4] ]. [[1,2],3,4] 3> [ H | T ] = A. [[1,2],3,4] 4> H. [1,2] in other words, in [ H | T ] H is added as, and stays a single item.