type-kinds
-
文件开头无用的种类相等错误
-
haskell 中的种类以何种方式关联？
-
接受任何类型的参数（例如：布尔值、字符串、浮点数等）
-
如何正确访问“约束”类型？
-
如何使元组成为 Haskell 中此 class 的实例？
-
iand 使用新的 gfortran 版本使用不同种类的参数
-
什么 GHC/Haskell 规范说自由类型构造函数匹配最右边的类型？
-
为什么 Option[Try[_]] 不符合 F[_]？
-
表达无限种
-
用 GHC 类型级别文字替换自建的 Naturals
-
Kind 而非 Type 的类型级参数的应用
-
种类级别的括号是什么意思？
-
类型族强制参数有种类 *
-
将类型参数限制为 Monoid
-
*（星号）或其他类型在 haddock 的实例列表中是什么意思
-
使用更高级类型的变量派生
-
星号（种类，*）在这个Foldable实例中的作用
-
需要一个类型，但“i”有一个类型“Nat”
-
打字判断有种类吗？
-
在其构造函数之一中创建 Haskell 接受非 * 类型的数据类型