绑定器 一箱用于试验锈蚀MTL样式的单子 为什么？ Monad多态性允许我们描述计算而无需先指定具体解释。 例如，如果您想重载函数以使其对rust中的同步代码和async / await代码均适用，则此功能很有用。 如何？ 由于没有HKT生锈，我们可以借鉴的最接近monad的实现是OCaml。 此板条箱在精神上遵循OCaml monad设计，但使用防锈特征而不是模块。 基本上，要向类型系统声明某个类型T是monad，我们首先需要创建一个类型TM作为monad T的“命名空间”。 然后，名