list 可以用泰勒级数展开为 T = 1 + a^2 + a^3 + a^4 +... 也就是说列表类型是 空 或 一个元素 或 两个元素 或 三个元素 或 ...
而二叉树则是 T = a + a^2 + 2a^3 + 5a^4 + 14a^5 + ... 这个怎么理解