般性的单子codice_39，满足类型类约束codice_48。在这个约束中，有函数依赖codice_49。这意味着对于类型类codice_50的一个给定单子codice_39，从codice_39能访问到的状态类型是被唯一性确定的。这会辅助编译器进行类型推论，还能辅助编程者进行类型导向编程。Simon Peyton-Jones因其复杂性而反对在Haskell中介入函数依赖。
有关概念.用于重载数据的一个类似概念（实现于中）是。在Clean中的类型类与Haskell相似，但