I would distinguish
-
having a parametric type that embodies partial application, eg
Fix2
above, -
surface syntax for partial application, eg the proposed syntax with
_
.
(1) exposes the components of what would be an otherwise opaque closure, and allows neat things like a show
method for certain function/argument combinations (this is what I want to use it for, actually).
(2) is syntactic sugar.
They can be done independently.