[drop unused MonadError requirements
Helmut Grohne <grohne@cs.uni-bonn.de>**20150120110711
 Ignore-this: 14d03828161bb5df0d5f839fffed2650
] hunk ./src/Igor2/Data/IgorMonad.hs 269
-applyC :: (MonadError e m) => C m a -> IM (m a)
-applyC a = gets igor_ctx >>=  return . (withC a )
+applyC :: Monad m => C m a -> IM (m a)
+applyC a = liftM (withC a) $ gets igor_ctx
hunk ./src/Syntax/Class/Antiunifier.hs 42
-getMap :: (MonadError e m, Pretty t) => AU m t [([t],t)]
+getMap :: (Monad m, Pretty t) => AU m t [([t], t)]
hunk ./src/Syntax/Class/Antiunifier.hs 45
-getCnt :: (MonadError e m, Pretty t) =>  AU m t Int
+getCnt :: (Monad m, Pretty t) =>  AU m t Int
hunk ./src/Syntax/Class/Antiunifier.hs 48
-incrCnt ::  (MonadError e m, Pretty t) => AU m t ()
+incrCnt :: (Monad m, Pretty t) => AU m t ()
hunk ./src/Syntax/Class/Antiunifier.hs 51
-putImg ::  (MonadError e m, Pretty t) => t -> [t] -> AU m t ()
+putImg :: (Monad m, Pretty t) => t -> [t] -> AU m t ()
hunk ./src/Syntax/Context.hs 169
-withC :: (MonadError e m) => C m a -> Context -> m a
-withC  c = (runReaderT c)
+withC :: Monad m => C m a -> Context -> m a
+withC = runReaderT
hunk ./src/Syntax/Context.hs 172
-runC ::  (MonadError e m) => C m a -> m a
-runC = (flip withC defaultContext)
+runC :: Monad m => C m a -> m a
+runC = flip withC defaultContext