[Fixed usages of lift on LM and ELT types
tobias@goedderz.info**20140717102434
 Ignore-this: 184c6a37204db852f905c6a87ecb9571
] hunk ./src/Igor2/Data/IgorMonad.hs 274
-ctorsOf n = (lift . lift . lift . lift . getCtors $ n) >>=
+ctorsOf n = (lift . lift . getCtors $ n) >>=
hunk ./src/Igor2/Data/IgorMonad.hs 287
+
hunk ./src/Igor2/Data/Rules.hs 203
-        r <-  lift . lift . lift $  lggL (tlhss++[rhss])
+        r <-  lift $  lggL (tlhss++[rhss])
hunk ./src/Igor2/Logging/Logger.hs 183
+instance Functor (ELT (C IO)) where
+    fmap f = ELT . fmap f . unELT
+
+instance MonadError String (ELT (C IO)) where
+    throwError = ELT . throwError
+    catchError x f = ELT $ catchError (unELT x) (unELT . f)
+
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 191
-    subs <- lift . lift . lift . lift $ matchesLhs vr (crul cr)
+    subs <- lift . lift $ matchesLhs vr (crul cr)
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 310
+
hunk ./src/Igor2/RuleDevelopment/Matching.hs 117
-     subs     <- lift . lift . lift . lift $ (matchesLhs `on` crul) scio cr
+     subs     <- lift . lift $ (matchesLhs `on` crul) scio cr
hunk ./src/Igor2/RuleDevelopment/Matching.hs 161
-normalPat cll tgt = lift . lift . lift $ 
+normalPat cll tgt = lift $
hunk ./src/Igor2/RuleDevelopment/Matching.hs 229
-       else do s <- lift . lift . lift . lift $ (liftM Just $ on matchesRhs crul cll tgt) `catchError`
+       else do s <- lift . lift $ (liftM Just $ on matchesRhs crul cll tgt) `catchError`
hunk ./src/Igor2/SynthesisEngine.hs 66
-    bnds  <-  mapM (simplify (scr_simplify conf)) $ hs      
+    bnds  <- mapM (simplify (scr_simplify conf)) hs
hunk ./src/Igor2/SynthesisEngine.hs 70
-    simplify True hs  = lift . lift . lift $ 
+    simplify True hs  = lift $ 
hunk ./src/Igor2/SynthesisEngine.hs 94
-         lift . lift . lift . lift . initHSpace >>= doLoop
+         lift . lift . initHSpace >>= doLoop