[Context uses ErrorMonad
martin.hofmann@uni-bamberg.de**20091201103255] hunk ./src/Syntax/Context.hs 207
-withC :: (Monad m) => C m a -> Context -> m a
+withC :: (MonadError e m) => C m a -> Context -> m a
hunk ./src/Syntax/Context.hs 210
-runC ::  (Monad m) => C m a -> m a
+runC ::  (MonadError e m) => C m a -> m a