RE: Q: hugs behavior...

[Simon Marlow]

> I think that the transformation is exactly fully laziness. 
> Sometimes, it
> helps to improve space/time performance, but it needs to be tunned up
> due to the reasons including one given by Tweed. 

GHC does full laziness(*).  As far as I know, no-one ever complained :)

Simon

(*) Well, actually it's nearly-full-laziness, since we tend not to separate
adjacent lambdas if possible.