Dear All, Apologies in advance if you are getting this a second time. I am unsure if my last posting was successful. I am interesting in learning how and when are Haskell programs lambda lifted. Are all functions always made global? Any pointers are appreciated. Best wishes, Marco