: Type -> Constraint
高种类多态.类型类不但接受codice_33的类型变量，它可以接受任何种类的类型变量。这些有更高种类的类型类有时叫做构造子类，这里的构造子指称的是类型构造子比如codice_36，而非数据构造子比如codice_37。例如单子类codice_38：class Monad m wherecodice_39应用到一个类型变量上的事实，指出了它有着种类codice_40，就是说它接受一个类型并返回一个类型，因而codice_38的种类是：Mo