[nhc-users] _apply1 and _apply2

[Saswat Anand]

Hi,
  Could you explain when the compiler inserts _apply1 and _apply2.

As _apply2 f a b = _apply1 (_apply1 f a) b, how is _apply2 useful?

Thanks,
Saswat