When learning functional programming, it's important to understand how monads encapsulate computation steps.

monads 是 monad 的复数形式，monad 是函数式编程中的一个核心概念，来自希腊语"monas"（意为"单位"或"单一"）。在编程中，monad 是一种设计模式，用于处理程序中的副作用和顺序计算。它通过将计算步骤封装在特定的结构中，帮助管理程序中的数据流和控制流。