为何无法定义闭合数据族（closed data families）？

这是个非常好的问题！背后其实藏着GHC对类型族和数据族的设计理念差异，以及它们的实现优先级问题。我们一步步拆解来看：

先回顾你的示例代码 #

首先，你给出的可运行的闭合类型族代码：

{-# LANGUAGE TypeFamilies #-}
type family TF a
type instance TF Int = String
type instance TF Bool = Char

-- 闭合类型族（Closed Type Family）
type family CTF a where
  CTF Int = String
  CTF Bool = Char
  CTF a = Double -- 通配符覆盖所有其他情况，GHC允许

而在GHC 8.2中报错的闭合数据族尝试：

{-# LANGUAGE TypeFamilies #-}
-- 尝试用闭合语法定义数据族，报错
data family CDF a where
  CDF Int = CDFInt String
  CDF Bool = CDFBool Char
  CDF a = CDFOther Double
-- 报错信息：parse error on input ‘where’

核心原因：类型族与数据族的本质差异 #

1. 类型族是类型级函数，数据族是索引化的数据类型集合 #

• 闭合类型族的本质是定义一个从输入类型到输出类型的映射规则，通配符CTF a = Double只是兜底的映射规则，不会涉及任何构造函数或数据构造逻辑——它只是告诉GHC“如果输入类型不是Int/Bool，就映射到Double”。这种规则的语义很清晰，实现起来相对简单。
• 数据族的本质是一组带索引的独立数据类型，每个data instance都是一个全新的代数数据类型（比如DF Int和DF Bool是完全不同的类型，各自有自己的构造函数）。如果要支持闭合语法中的通配符实例，GHC需要解决：
  • 如何区分具体类型实例和通配符实例的构造函数？
  • 类型推断时，遇到CDF x这样的类型，如何确定它对应哪个实例？
  • 通配符实例的构造函数CDFOther是否能被所有非Int/Bool的索引类型使用？这会带来类型安全和模式匹配的复杂度。

2. GHC的实现优先级问题 #

闭合类型族在GHC 7.8就已经被支持了，因为它极大地简化了类型级编程的逻辑，解决了开放类型族容易出现重叠冲突的问题。而闭合数据族的需求相对没那么迫切，且实现难度更高（需要处理上述语义复杂度），所以GHC团队在早期版本中优先完成了闭合类型族的支持，而闭合数据族的语法直到后续版本（比如GHC 9.0及以后）才被正式引入。

在GHC 8.2及更早版本，数据族只能通过开放语法逐个定义实例：

{-# LANGUAGE TypeFamilies #-}
data family CDF a
data instance CDF Int = CDFInt String
data instance CDF Bool = CDFBool Char
-- 如果需要默认实现，只能通过类型类等其他方式间接模拟

总结 #

简单来说，闭合类型族的语义更简单（只是类型映射），而闭合数据族需要处理数据构造、类型推断等更复杂的语义问题，再加上GHC的实现优先级安排，导致在8.2版本中前者可行而后者不行。后续的GHC版本已经支持了闭合数据族的语法，你可以尝试升级GHC版本来使用这个特性。

内容的提问来源于stack exchange，提问作者leftaroundabout