閉鎖関数をenvless関数に変換する方法はATSにありますか？

Question

ATSには、envless functionsと​​の2種類の機能があります。 envless functionをclosure functionに変換するのは簡単です。 closure functionをenvlessに変換する方法はありますか？

Answer 1

和の例hereを見てください。この場合、「元のものに加えてnを引数として含めることによって、ループをenvless関数にするのは簡単です。