>>353
「binding constructで新しい環境を作ったり・・・」
などの操作を含めてalistを持つとみんな思ってるんじゃないですか？

ところで、internal definitionはletrecと等価で、
letrecでは同じシンボルが2度出現することは許されませんが、
その例は正しく動かなくてもいいんじゃないですか？