[get rid of lift4 and use liftIO instead
Helmut Grohne <grohne@cs.uni-bonn.de>**20140717072357
 Ignore-this: 2afcece0c24cde0f8dcb57a462633bf6
] hunk ./src/Igor2/Logging/Logger.hs 4
-    tp,ts,lift4, lputStrLn,lputDoc,
-    
+    tp,ts,
+
hunk ./src/Igor2/Logging/Logger.hs 47
-ts s = \x -> (trace $ s ++ (show $ x)) x
-
-lift4 = lift . lift . lift . lift
-lputStrLn = lift4 . putStrLn
-lputDoc = lift4 . putDoc
+ts s = \x -> (trace $ s ++ show x) x
hunk ./src/Igor2/Logging/Logger.hs 132
-            isVerbose >>= flip when (lputStrLn . show $ msg) >>
-            isDumping >>= flip when ( tell . newLog $ le))) 
+            isVerbose >>= flip when (liftIO . putStrLn . show $ msg) >>
+            isDumping >>= flip when ( tell . newLog $ le)))
hunk ./src/Igor2/SynthesisEngine.hs 29
-import Igor2.Logging hiding (lift4)
+import Igor2.Logging
hunk ./src/Igor2/SynthesisEngine.hs 75
-    outputraw hs = 
-      lputDoc $ linebreak <> 
-                text "### BEGIN RAW DATA ###" <$> 
+    outputraw hs =
+      liftIO . putDoc $ linebreak <>
+                text "### BEGIN RAW DATA ###" <$>