Haskell Katip日志代码编译报错：$运算符未在作用域

这个错误本质是GHC无法匹配到符合当前表达式类型的$运算符，常见原因和解决方法如下：

1. 缺失Prelude导入 #

GHC 9.10及以后版本默认启用了NoImplicitPrelude扩展，如果你没有手动导入Prelude，$（以及很多基础运算符）会不在作用域。

解决方法：
在代码开头添加：

import Prelude

如果只需要$，也可以单独导入：

import Prelude (($))

2. 表达式结构错误（最可能的原因） #

第24行的代码大概率误用了$，因为错误提示里$的左边是(m0 a0 -> m0 a0)（一个高阶函数，比如Katip的modifyContext），右边是m1 ()（日志动作，比如logMsg），但$的类型是(a -> b) -> a -> b，两边类型不匹配。

举个错误示例：

-- 错误写法：modifyContext返回的是m a -> m a，不能用$和logMsg组合
badLog = modifyContext (addNamespace "service") $ logMsg "started"

正确写法：
如果要先修改上下文再执行日志动作，用Monad绑定运算符>>：

goodLog = do
  modifyContext (addNamespace "service")
  logMsg "started"

或者用Katip的withContext（它接受一个上下文修改器和一个日志动作，内部处理绑定）：

goodLog = withContext (addNamespace "service") $ logMsg "started"

如果要把修改器应用到日志动作（高阶函数调用），去掉$直接传参：

goodLog = modifyContext (addNamespace "service") logMsg "started"

3. 缺少Katip的Monad约束 #

如果你的函数没有声明正确的Monad上下文约束（比如MonadLogger或Katip），GHC无法推断出日志动作的Monad类型，也会导致$的类型匹配失败。

解决方法：
确保函数签名包含正确的约束，比如：

logAction :: (MonadLogger m) => m ()
logAction = withContext (addNamespace "api") $ logMsg "request received"

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