對我來說，grok 對 monad 的看法比大多數 CT 更具見地，這真是令人驚訝。