data-kinds
-
模式同义词无法统一类型级列表中的类型
-
如何在 Haskell 中创建 "kind class"，或使用类型族在类型级别创建临时多态性
-
只有一个值可提升到种类级别的数据类型
-
为什么编译器无法将类型 'a==a' 与类型族的“True”匹配？
-
使用 DataKinds 扩展时如何导出类型构造函数？
-
如何使用 Data Kinds + Phantom types 对 Haskell 中的单位进行编码？
-
异构列表中的单例
-
如何在 GADT 制定的 AST 中指定异构集合的类型？
-
含有 GADT 的载体
-
为什么 :k [False] 会导致 GHCI 出错？
-
具有种类 nats 的向量的应用实例
-
FromJSON 实例的单例、类型族和存在类型
-
DataKinds 和类型 class 个实例
-
在没有 DataKinds 的情况下，如何使值依赖于其他值？
-
在 Nat 种类上定义自定义类型族
-
将（通过 DataKinds）提升到 * -> A 的构造函数
-
如何为 DataKinds 派生类型自动派生 Typeable 实例？
-
GADT 中任何“DataKind”的列表
-
我可以使用 DataKinds 编写一个 returns 由参数编码的类型值的函数吗？
-
从组合上将异构提升类型反映回值