[nhc-users] _apply1 and _apply2

[Saswat Anand]

> so it is wise to avoid extra runtime costs wherever possible, since
> their only purpose is to introduce a lazy suspension for semantic
> correctness.

For example if I have,

fun p var (Tree t cs) = 
   let ...
       g = fun new_ass (var+1)
   in ...
 
which the compiler translates to,
   g = _apply2 fun new_ass (var+1)

how can I avoid _apply2 ? 

I tried g = (fun $! new_ass) $! (var+1), but with this I get cells of
Prelude.$! in place of Prelude._apply2.


Thanks,
Saswat