l中，类型类已经被精制为允许编程者声明在类型参数之间的函数依赖，这个概念受到关系数据库理论中的函数依赖的启发。就是说，编程者可以断言对类型参数的某个子集的给定指派，唯一性的确定余下的类型参数。例如，承载一个类型codice_46的状态参数的，一个一般性的单子codice_39，满足类型类约束codice_48。在这个约束中，有函数依赖codice_49。这意味着对于类型类codice_50的一个给定单子codice_39，从codice_39能访问到的状态类型是被唯一性确定的。这会辅助编译器进行类型推论，还