在莱布尼茨的理论中，每个单子都是一个独立的精神实体。

In Leibniz's theory, each ___monad is an independent spiritual substance.

在这个函数式程序中，我们使用单子来管理异步操作。

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