使用ClientM结合finally出现No instance for错误，该实例已定义需显式导入？

你遇到的问题核心在于：MonadBaseControl IO ClientM的实例确实存在，但它定义在servant-client的内部模块中，不会被默认导入，所以需要你显式导入才能让编译器找到它。

具体解决步骤 #

直接导入包含该实例的内部模块即可，为了避免导入不必要的内部API，你可以只导入实例（不导入任何函数或类型）：

import Servant.Client.Internal.HttpClient ()

这样编译器就能识别到ClientM的MonadBaseControl IO实例，你就可以正常使用finally函数了。

为什么需要显式导入？ #

Haskell的模块系统中，内部模块（名称包含Internal）的设计初衷是存放不稳定的实现细节，这类模块的内容不会被公开模块自动导出。虽然servant-client的文档提到了这个实例，但它并没有被放到公开的Servant.Client模块中，所以必须手动导入内部模块才能获取到该实例。

注意事项 #

• 依赖内部模块存在一定风险：后续升级servant-client版本时，内部模块的结构或内容可能会被修改、移动甚至移除，导致你的代码无法编译。如果可能的话，建议尝试升级到较新的servant-client版本，看看是否已经将该实例迁移到了公开模块中。
• 如果你不想依赖内部模块，也可以考虑自己手动定义这个实例（不过不推荐，因为可能和官方实现冲突，或者遗漏一些细节）。

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