>>785
同じ引数に同じメモリセルを返すconsなら参照透明だから
(eq? (cons #t #t)  (cons #t #t)) => #t