# if you have a proc `f : A -> B -> ...` and you have `g: B -> ... = f(a)` you can # just generate `g` with `a` inlined can you not? for example: proc add(a, b: int) = a + b curry(add10, add, 10) echo add10(20) # 30 # could be transformed into proc add(a, b: int) = a + b proc add10(b: int) = 10 + b echo add10(20) # 30 # though yeah this isn't as nice because `curry` macro can't affect things outside # of it, so if you wanted your local method you would need like `add10 <~ curry # ...` or something.