Racket、Clojure、Scala和F#之中，并已经被考虑用于新的ML标准。
分析.单子模式的利益之一是将数学上的精确性施加到编程逻辑上。不只是单子定律可以用来检查实例的有效性，而且来自有关结构（比如函子）的特征可以通过子类型来使用。
导出自函子.尽管在计算机科学中少见，可以直接使用范畴论，它定义单子为有二个额外自然变换的函子。作为开始，一个结构要求叫做map的高阶函数（“泛函”）从而具备函子资格：但是这不总是一个主要问题，尤其是在单子派生自预先