y = 1
hd(tl(x)) = 2
hd(tl(tl(x))) = 3