In this functional program, we use a monad to manage asynchronous operations.

monad 是计算机科学中的术语，源自数学中的范畴论。在函数式编程中，monad 是一种设计模式，用于处理副作用（如异步操作、错误处理等），同时保持代码的纯粹性和可组合性。它通过封装操作序列和状态，提供了一种结构化的方式来管理复杂的控制流。