(Back to lists as binary trees)

List     [F | R]

is tree     

List     [  ]

   is tree     [  ]

It follows that

[1, 2, 3]         is           

[  ,  ,  ,  ]       is           

[[1, 2], 3, 4]   is          

etc.