为何添加Typeable约束后GHC仍报缺失实例编译错误？

核心问题：命名冲突与类型推断歧义 #

• 代码存在类型变量重名：where子句里f的类型变量a，和顶层变量a（类型为Maybe Int）重名。GHC会将这两个a视为完全独立的变量，不会自动关联。
• cast的类型签名为：(Typeable src, Typeable dest) => src -> Maybe dest，它要求源类型和目标类型都实现Typeable，并尝试在两者间做类型转换。

编译错误的具体原因 #

当调用cast f时，GHC需要推断两个类型：

1. 源类型：f的类型是Typeable a => a（这里的a是局部类型变量）
2. 目标类型：明确是Maybe Int

但GHC没有任何约束或信息，能将这个局部的a和目标类型Maybe Int绑定。此时GHC会将局部a视为一个未确定的类型变量a0，而由于没有为a0指定具体的Typeable实例，就会抛出"No instance for (Typeable a0)"的错误。

测试代码能编译的原因 #

你给出的测试代码：

import           Data.Data

b :: String
b = show $ typeRep (Proxy :: Proxy (Maybe Int))

能正常编译，是因为这里明确指定了具体类型Maybe Int，GHC可以直接找到该类型对应的Typeable实例，和前面的歧义场景完全不同。

可选的修正示例（仅作参考） #

如果想让原代码编译，可以明确指定f的类型与目标类型一致：

import           Data.Data

a :: Maybe Int
a = cast (f :: Maybe Int)
  where
    f :: Typeable t => t
    f = undefined

此时cast会将类型明确的f（Maybe Int类型）转换为Maybe Int，结果是Just undefined。

内容的提问来源于stack exchange，提问作者toku-sa-n