Details are in [fastcurry](http://community.haskell.org/~simonmar/papers/evalapplyjfp06.pdf).
Details are in fastcurry.