Haskell中带中间多态类型的函数组合报错，如何保障类型一致？

你对问题本质的判断完全准确。这个问题本质是Haskell中经典的悬空多态类型歧义：

• 无显式绑定的前提下，f的推导类型为Intermediate a1 => a1 -> Int
• g的推导类型为Intermediate a2 => Char -> a2
• 原本(.)函数的规则要求g的返回类型与f的参数类型完全一致，但此时a1和a2是两个互相独立的悬空类型变量，且h原本的类型签名Char -> Int完全抹除了这两个类型变量存在的痕迹——既没有把它们绑定到同一个变量上，也没有给GHC提供任何可以回溯确定类型的线索。

GHC既没有办法统一a1和a2（无法确定你是不是打算让g返回的类型喂给f的同类型实例），也无法回溯确定它们对应的具体类型，最终判定为不存在可匹配的Intermediate实例，触发报错。

以下方法可以从根源上强制f和g复用同一个Intermediate实例类型，完全适配模块对外导出的多态接口需求：

• 方案1：在h的类型签名中显式绑定统一的类型变量
  这是最标准、兼容GHC所有扩展开关的写法，直接在h的签名中引入同一个类型变量，绑定f和g的中间类型：

  h :: Intermediate a => Char -> Int
  h = f . g
  

  这个写法生效的逻辑非常直接：当类型签名中显式声明了Intermediate a的约束后，f和g所关联的Intermediate类的中间类型会被自动绑定到同一个变量a上，GHC再也不会将它们拆分为两个独立的类型。此时h本身保持完全的多态性——模块导出时，调用方可以根据自身场景选择任意符合Intermediate约束的类型，驱动对应实例的f和g完成计算，不会将实现锁死在某一个具体实例上。
• 方案2：固定绑定某一个具体实例类型
  如果你的h不需要支持多态分发，只需要调用某一个固定的Intermediate实例的逻辑，可以直接在组合的位置对g的返回类型做显式标注，将中间类型钉死为具体的实例类型：

  -- 假设MyType是已经定义好的Intermediate实例
  data MyType = MyType
  instance Intermediate MyType where
    f = length . show
    g = head . repeat
  
  h :: Char -> Int
  h = f . (g :: Char -> MyType)
  

  这种写法的优势是对外暴露的h签名没有额外的类约束，不需要调用方感知Intermediate类型类的存在，完全实现了实例逻辑的封装。
• 方案3：显式类型应用绑定（需开启扩展）
  如果需要更高的绑定精度，可以开启TypeApplications扩展，通过类型应用直接将同一个类型变量同时传给f和g，从语法层面避免绑定错位：

  {-# LANGUAGE TypeApplications #-}
  
  h :: Intermediate a => Char -> Int
  h = f @a . g @a
  

  这种写法和方案1的效果完全等价，只是把类型绑定的位置从全局签名移到了函数调用层面，更适合需要在复杂表达式中精准控制多态函数绑定场景的使用。

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