GHC2021-2024中封闭类型族兼容Haskell2010代码的问题与解法

问题根源 #

GHC2024默认启用NoCUSKs（取消编译器对隐含签名的推断），原代码的类型家族签名ToUnescapingTF (a :: k) :: k没有明确约束k的范围，导致类型检查器无法正确推断各分支的kind匹配关系，从而抛出错误。

现代解决方案（基于StandaloneKindSignatures） #

通过明确类型家族的kind签名，并为特定分支添加kind注释，让类型检查器清晰理解各部分的kind约束，无需依赖遗留的CUSKs扩展。

修正后的完整代码

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE KindSignatures #-}

data UnescapingChar = UnescapingChar { unescapingChar :: Char }

import Data.Kind (Type)

type ToUnescapingTF :: forall k. k -> k
type family ToUnescapingTF a where
  ToUnescapingTF (Char :: Type) = UnescapingChar
  ToUnescapingTF (t b) = (ToUnescapingTF t) (ToUnescapingTF b)
  ToUnescapingTF a = a

关键修正点

• 添加StandaloneKindSignatures扩展：用独立的kind签名type ToUnescapingTF :: forall k. k -> k明确该类型家族可以处理任意kind的输入，并返回同kind的结果。
• 为Char添加kind注释：在第一个分支中，给Char加上:: Type注释，明确它属于Type kind，匹配k的实例。
• 简化分支语法：去掉原代码中:: k的冗余注释，类型检查器可通过standalone签名自动推断。

功能验证 #

修正后的代码保留了原逻辑：将Char类型替换为UnescapingChar，并递归处理类型构造器的参数（比如将[Char]转换为[UnescapingChar]），同时在GHC2024环境下可正常编译。

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