data-kinds
-
在 GADT 数据构造函数中通过类型族指定依赖类型
-
无法使用单例库将类型级列表转换回值级
-
无法创建具有单个元素的类型级列表
-
不同类型的 ReaderT？
-
具有新数据的类型的限制集，例如“Tree a”
-
类型声明中的类型限制
-
将模式匹配限制在构造函数的子集
-
归一化 TypeNats 不等式
-
DataKind 联盟
-
Haskell 中的 '[] 和 ': 是什么？
-
通过 Nat-kinds 递归
-
通过 Nat-kind 重叠实例
-
对 DataKinds 扩展感到困惑
-
在没有 unsafeCoerce 的情况下将值更改为 `Conkin.Traversable` 中的索引
-
模式匹配幻像类型
-
在 Haskell 中创建我自己类型的二维列表时出错
-
从 Haskell 中的 Kind 构造值
-
Haskell 中的类型安全联合？
-
在类型安全向量上使用归纳定义的 Applicative 实例
-
我的（公认的折磨）Haskell 函数出现了虚假约束。我怎样才能满足它？