Reason - general function syntax discussion

[Alex]

@let-def

The question is about unary vs n-ary functions. If you have n-ary functions, this information is given by the type signature, you don’t have to break abstraction access it, so it works as well in higher-order functions and is not affected by abstract types (in this context, a binary function is not an unary function).

This way you are just forcing programmers to deal with closures by itself for the sake of compiler simplicity.