让我惊讶的是，grok 对 monad 的看法比大多数 CT 更加深刻。