束为属于codice_5类型类的那些类型。Haskell中的codice_27可表示“类型类继承”或“类型约束”。函数codice_21可应用于属于codice_29类型类的任何类型的元素和这个类型的列表二者之上。注意类型类不同于面向对象编程语言中的类。特别是，codice_5不是一个类型：世上没有类型codice_5的值这种东西。类型变量codice_2有（kind）formula_1，在最新的发行中叫做codice_33。意味着codice_5的种类是：Eq :: Type -> Constrai