State Monad 的一个解释

今天看到一篇文章¹，里面提到了 Monad，刚好最近对比了下 Clojure 中 ring¹ 和 pedestal² 中对于 HTTP 请求的处理（主要都是对于 ctx -> ctx 的函数的组合），感觉有点类似，然后尝试画了一下对于 state monad 的一种解释，如图：