PureScript 0.12.0-rc1实例链使用出错，请求排查问题原因

你的问题出在实例链的匹配逻辑上。PureScript 的实例链是按顺序尝试实例，但只有当当前实例的头部（即C a这种类型声明部分）匹配，且约束能被满足时才会选用它；如果头部匹配但约束无法满足，编译器会直接报错，而不会自动跳到下一个实例。

在你的代码里，第一个实例ca :: A a => C a的头部是完全泛化的C a——任何类型都会匹配这个头部。当你调用c X时，编译器首先尝试这个实例，然后需要寻找A X的实例，但你并没有定义这个实例，所以直接抛出了找不到A X实例的错误，根本没机会走到第二个else instance。

要让实例链正确工作，你需要确保实例之间的头部有明确区分，或者通过约束让编译器能确定前一个实例不适用。这里有两种常见的修正方式：

1. 给第一个实例添加具体的类型限定 #

如果你希望第一个实例只针对特定类型（比如String），可以把实例的头部从泛型改成具体类型，这样就不会和后续实例的头部重叠：

class A a
class B b
class C c where
  c :: c -> String

-- 只针对String类型的A实例和C实例
instance aString :: A String
instance ca :: A String => C String where
  c = const "ca"
else instance cb :: B b => C b where
  c = const "cb"

data X = X
instance bx :: B X

main :: forall eff. Eff (console :: CONSOLE | eff) Unit
main = logShow $ c X -- 现在会匹配cb实例，输出"cb"

2. 调整实例顺序，让约束更强的实例优先 #

如果你的实际需求是：实现B的类型优先用cb实例，其他实现A的类型用ca，那应该把约束更强、更具体的实例放在前面，避免泛化实例先匹配所有类型：

class A a
class B b
class C c where
  c :: c -> String

-- 先尝试B实例的情况
instance cb :: B b => C b where
  c = const "cb"
else instance ca :: A a => C a where
  c = const "ca"

data X = X
instance bx :: B X

main :: forall eff. Eff (console :: CONSOLE | eff) Unit
main = logShow $ c X -- 正确匹配cb实例

不过这种方式依然有隐患：如果一个类型同时实现了A和B，会优先用cb实例；但如果一个类型既没实现A也没实现B，还是会报错。

• 实例链的核心是头部匹配优先，只有当前一个实例的头部完全不匹配时，才会尝试下一个。
• 泛化的实例（比如C a）会匹配所有类型，所以如果它的约束无法满足，编译器会直接报错，不会继续往后找。
• 要避免这种问题，要么让实例的头部有明确的类型区分，要么调整顺序让更具体的实例排在前面。

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