如何以向后兼容的方式扩展Haskell类型？

要在不破坏下游代码的前提下给X添加phantom类型参数，核心是用类型别名保留原类型名，同时用Pattern Synonyms让原构造器名继续可用，具体步骤如下：

1. 启用必要语言扩展 #

首先需要开启两个关键扩展：

{-# LANGUAGE PatternSynonyms #-}  -- 启用模式同义词
{-# LANGUAGE DataKinds #-}       -- 允许将数据构造器作为类型使用

2. 重构类型定义 #

• 先定义带phantom参数的底层数据类型（换个不冲突的名字，比如XV）
• 用类型别名X绑定到旧版本的参数实例
• 定义Pattern Synonyms，让原构造器X可以继续用于X类型的构造和匹配

-- 版本标记类型
data Version = OldVersion | NewVersion

-- 带phantom参数的底层类型
data XV (v :: Version) = XV Int Char Whatever

-- 保留原类型名，绑定到老版本实例
type X = XV OldVersion

-- 定义模式同义词，让原构造器名X继续可用
pattern X :: Int -> Char -> Whatever -> X
pattern X a b c = XV a b c

3. 正确导出 #

模块导出时直接写X(X)即可，和原来的导出语句完全一致：

module YourModule (X(X)) where

4. 内部调整实例行为 #

你可以针对不同的Version参数给XV定义不同的实例，比如：

-- 旧版本实例（X类型自动继承）
instance Show (XV OldVersion) where
  show (XV i c w) = "[Old] X: " ++ show i ++ ", " ++ [c] ++ ", " ++ show w

-- 新版本实例（内部使用）
instance Show (XV NewVersion) where
  show (XV i c w) = "[New] X: " ++ show i ++ ", " ++ [c] ++ ", " ++ show w

内部需要使用新版本时，直接构造XV类型的值即可：

newX :: XV NewVersion
newX = XV 42 'z' someWhatever

为什么之前的方法不行？ #

你之前用type X = X' OldVersion的问题在于：X只是类型别名，不是数据类型，因此无法用X(X)导出构造器——构造器属于X'而非X。而Pattern Synonyms相当于给XV的构造器套了一层和原构造器同名的“壳”，让下游代码完全感知不到底层类型的变化。

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