今度は [a b c, a c b, ...] に \a b c -> f をmapするというとてもマクロ的な作戦。 x <- newName strで作った変数はschemeのマクロのように変数の衝突を回避するけれど、 mkName strで作った変数は文字どおりstrのままでダイナミックスコープ。 permArgs' …