> ((dd) (d) (c) (b a))
> ↓
> ((d (dd) e) (c) (b a))

ここがよく分からない．eを新たにプッシュするときに，どうしてdはeと同じ
リストに含めて，ddは1つネストしたリストに入っているの? もっと言えば，
(c)や(a b)はd，ddと全く別の扱いを受ける必然性もないように見える．

要するに，リストのネストの深さを保存してないよ，ってこと．