λx.corp

"point-free" -> nu mai am λx. -> nu mai definesc o funcție nouă / care are niște argumente specificate explicit


						_
		_						_			8
	_		4	5			6		7
1	2	3

1 -> primul atom pe care îl găsesc
{{{<2>, <3>}, <4>, <5>}, {<6>, <7>}, <8>} -> restul structurii în afară de 1, conține
	3 elemente (vor fi 3 subarbori): 
		{{<2>, <3>}, <4>, <5>} -> primul atom va fi 2, rămâne
					{{<3>}, <4>, <5>}, avem 3 subarbori:
						{<3>} -> avem primul atom 3, rămâne {} -> nu mai intră în arbore
						frunză 4
						frunză 5
		{<6>, <7>} -> primul element este 6, copilul său va fi 7
		<8> -> frunză


						1
		2						6			8
	3		4	5				7