更新mtl包后找不到Control.Monad.State模块及依赖问题求助

看起来你因为强行卸载全局的mtl旧版本，搞崩了一堆依赖它的系统包——这就是为什么我们不推荐随便修改全局GHC包数据库的原因！别慌，一步步来修复：

第一步：恢复全局的mtl-2.1.2 #

那些报错的包（HTTP、fgl、parsec等）都依赖旧版mtl，先把它装回去让全局环境恢复正常：

sudo cabal install mtl-2.1.2 --global

执行完后再跑ghc-pkg check，应该就不会有依赖缺失的报错了。

第二步：用隔离环境满足你的mtl-2.2.2需求 #

你想要用Control.Monad.Except，但又不能动全局包，最好的办法是给你的项目单独配置依赖，不影响全局。这里有两种推荐方式：

方式一：使用Cabal沙箱（适合旧版Cabal） #

1. 进入你的项目根目录，初始化沙箱：

   cabal sandbox init
   

2. 给这个沙箱安装mtl-2.2.2：

   cabal install mtl-2.2.2
   

3. 打开你的项目.cabal文件，在build-depends里加上：

   mtl >= 2.2.2 && < 2.3
   

之后编译项目时，Cabal会自动使用沙箱里的新版本mtl，完全和全局环境隔离。

方式二：使用Cabal Nix-style构建（推荐，Cabal 3.0+默认支持） #

如果你的Cabal版本是3.0以上（可以用cabal --version查看），这种方式更简洁：

1. 在项目根目录创建一个cabal.project文件，内容如下：

   packages: .
   constraints: mtl == 2.2.2
   

2. 直接执行构建命令：

   cabal build
   

Cabal会自动为这个项目下载并缓存mtl-2.2.2，不会干扰全局的旧版本，完美解决版本冲突问题。

额外提醒 #

以后别再用sudo cabal install装全局包了！全局包数据库是系统级的，很多工具和库都依赖它的状态，随便修改很容易引发连锁报错。用项目隔离环境（沙箱或Nix-style构建）才是管理Haskell项目依赖的正确姿势。

内容的提问来源于stack exchange，提问作者Dunno