如何在Haskell中实现多类型约束的双向等价组合？

1. 使用约束同义词（最直接的方式） #

开启ConstraintKinds扩展后，你可以直接定义约束同义词，GHC会自动展开它，从而从Combine c1 c2 a推导出c1 a和c2 a：

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}

-- 定义组合约束的同义词
type Combine c1 c2 a = (c1 a, c2 a)

-- 你的HList定义保持不变
data HList constraint where
  Empty :: HList constraint
  (:*:) :: constraint a => a -> HList constraint -> HList constraint

-- 测试用例：元素同时满足Show和Num
test :: HList (Combine Show Num)
test = 5 :*: 3.14 :*: Empty

-- 提取元素并使用约束对应的函数
headHList :: HList c -> (forall a. c a => a)
headHList (x :*: _) = x

-- 可以直接调用show和negate，因为GHC会自动展开Combine约束
showTest :: String
showTest = show (headHList test)

negateTest :: Integer
negateTest = negate (headHList test)

这里Combine Show Num是一个* -> Constraint类型的构造器，完全符合HList的参数要求。GHC在遇到Combine c1 c2 a时，会自动将其替换为(c1 a, c2 a)，所以show和negate都能正常调用。

2. 支持任意多个约束的类型族方案 #

如果需要组合两个以上的约束，可以用类型族实现更灵活的多约束组合：

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}

-- 定义能组合任意数量约束的类型族
type family CombineAll (cs :: [* -> Constraint]) a :: Constraint where
  CombineAll '[] a = ()
  CombineAll (c : cs) a = (c a, CombineAll cs a)

-- HList定义不变
data HList constraint where
  Empty :: HList constraint
  (:*:) :: constraint a => a -> HList constraint -> HList constraint

-- 测试：组合Show、Num、Ord三个约束
test :: HList (CombineAll '[Show, Num, Ord])
test = 5 :*: 3 :*: Empty

-- 可以调用compare这类Ord的方法
compareTest :: Ordering
compareTest = compare (headHList test) 3

为什么你的类方案不可行？ #

你尝试的instance Combine c1 c2 a => c1 a属于反向实例声明，Haskell不允许这种写法：

• 实例声明的头部必须是明确的类应用（比如Combine c1 c2 a），不能用一个约束推导出另一个约束的实例。
• 这违反了Haskell的开放世界假设：编译器无法保证未来不会出现冲突的实例，因此不允许这种反向推导。

如果一定要用类的方式，只能通过辅助类型（比如Dict）手动提取约束，但这种方式代码冗余，不如约束同义词简洁。

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