lessElementsltlessElt0lessEltniflelengthlnlelengthtoListtnltniftruebltnliffalsetrueltntiffalsefalseltnlessEltsnlengthnil0lengthconsnlslengthltoListleafniltoListnodet1nt2appendtoListt1consntoListt2appendnill2l2appendconsnl1l2consnappendl1l2lesn0falsele0mtruelesnsmlenmacadlessElementsltlessElt0lessEltntoListtlessEltnlengthtoListtlessEltnlelengthtoListtnlessEltnlengthllessEltnlelengthlnlessEltniflelengthlnlelengthtoListtnltniffalsefalseltnlessEltsnlengthconsnllengthltoListnodet1nt2toListt2toListnodet1nt2toListt1toListnodet1nt2appendtoListt1consntoListt2appendconsnl1l2appendl1l2lesnsmlenmtruelessElementsltlessElt0falseiffalsefalseltnlessEltsnlessEltniflelengthlnlelengthtoListtnltntruelessEltnlelengthlnfalselessEltnlengthlfalselessEltnlelengthtoListtnfalselesnsmlenmtrue1le281120s1411lessEltnlengthtoListtfalselengthconsnllengthltrue1length18112cons201123lessEltntoListtfalsetoListnodet1nt2toListt2toListnodet1nt2toListt1true1toList1512node31102135toListnodet1nt2appendtoListt1consntoListt2falseappendconsnl1l2appendl1l2true1append251020cons2011211