Concurrent Clean : for-notation : 隠れ変数へのアクセス

for-notationの際に、forの対象となっている隠れた変数が１つあって、これへの明示的アクセスをしたいときにどう書けばいいかということを考えている。また、変換後のプログラムコードの中で、どういう変数名を当てればよいかということも同時に考えている。
とりあえず、今のところ、for-notationの中でforを変数名として使うことはありえないので、内部的にはこれを使っているけれど。

• • • -

あー。無名関数を使えばいいだけか？