Fix1 (analogue of Base.Fix2)

I would distinguish

  1. having a parametric type that embodies partial application, eg Fix2 above,

  2. 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.

3 Likes