的，任何定义都能产生有效的单子。给定任何良好定义的基本类型codice_23、codice_70，单子构成自三个部份：但要完全具备单子资格，这三部份还必须遵守一些定律：在代数上，这意味任何单子都引起一个范畴（叫做）和在函子（从值到计算）的范畴上的幺半群，具有单子复合作为二元算子和codice_9作为单位元。
用途.单子模式的价值超出了只是压缩代码和提供到数序推理的联系。不管开发者采用的语言或缺省编程范型是什么，遵从单子模式都会带来纯函数式编程的很多利益。通过实化特定种类的计算