← 返回范畴论专题Free Monad- AST 就是一个 free monad, 在 map 和 flatmap 的时候, 只构建数据结构(AST), 不做任何的 interpretation. 类似 free monoid 的套路.- fetch monad 就是用 free monad 构造执行计划. not so free, 有一点点 interpretation 在里面