让我惊讶的是，grok 对 monad 的看法比大多数 CT 更具信息性。