> で、この最後の式が評価されるときにスタックが要ると>>571に書いているわけ。
そう書いてあったのか。そう読めませんでした。曖昧な日本語をお使いになる。

> ？？？ 関数のリターンアドレスがスタックにつまれるんだぞ？
？？？ 末尾再帰の場合はスタック上のリターンアドレスは、深さに比例して増えたりしないんだぞ？

> # 最初から [] にマッチする場合を除く。
これをコメントアウトするのは非常にずるいと思う。

大事な大前提を暗黙に議論してるな。前提がlazyに出て来る感じ。