ice_2是一个数组类型，它包含类型codice_45的元素。例如，在多态上的这种限制被用来实现数组类型。
函数依赖.在Haskell中，类型类已经被精制为允许编程者声明在类型参数之间的函数依赖，这个概念受到关系数据库理论中的函数依赖的启发。就是说，编程者可以断言对类型参数的某个子集的给定指派，唯一性的确定余下的类型参数。例如，承载一个类型codice_46的状态参数的，一个一般性的单子codice_39，满足类型类约束codice_48。在这个约束中，有函数依赖codice_49