Haskell返回类型多态疑问：为何类型类getA有效但独立函数getA'报错

类型类中getA正常工作的原理 #

• 类型类方法getA的签名Animal a => a是典型的参数化多态设计：这里的类型变量a由调用侧决定，语义是「对任意实现了Animal的具体类型a，都能返回对应类型的实例」。
• 你在每个Animal实例中单独实现了对应类型的getA：Dog实例返回Dog值，Cat实例返回Cat值，调用时通过类型注解getA :: Dog告知编译器要选用的实例，自然可以正常运行，和read函数的使用逻辑完全一致。

独立函数getA'编译失败的原因 #

有两个核心错误点：

1. 类型签名和实现语义不匹配
   你给getA'声明的签名Animal a => a同样要求「支持任意实现了Animal的类型a的返回」，但你的实现硬编码了只能返回Dog或Cat两种固定类型，完全不满足签名约定：比如后续新增Pig类型并实现Animal实例后，getA' :: Pig按签名应该能返回Pig实例，但现有实现根本做不到，编译器会直接拒绝这种不符合签名约定的代码。
2. if分支类型不统一
   Haskell要求if ... then ... else ...的两个分支返回值必须是完全相同的类型，你的代码中then分支是Dog类型，else分支是Cat类型，类型不一致直接触发语法层面的编译错误。

注意：很多初学者容易把Haskell的类型类多态和OOP的子类多态混淆，如果想要实现「可以返回任意Animal实现类型」的能力，需要用到存在类型包装，和你当前写的参数化多态签名不是同一类设计。

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