[don't add let-bound expressions to the type environment
John Meacham <john@repetae.net>**20060315032621] hunk ./E/LambdaLift.hs 58
-            local (declEnv_u (ds ++)) $ do
-                let (ds',e') = decomposeLet e
-                h ds' e' []
+            let (ds',e') = decomposeLet e
+            h ds' e' []
+            --local (declEnv_u (ds ++)) $ do
+            --    let (ds',e') = decomposeLet e
+            --    h ds' e' []