如何让Haskell编译器优先选用自定义Prop实例而非投影派生实例？

你遇到的问题核心是：通用的投影派生Prop实例(t ##-> a, Prop t) => Prop a会和手动定义的Prop String实例形成重叠，编译器无法判断实例内部调用fn1/fn2时该选择哪一个。下面是几种可行的解决方式：

方法一：用OVERLAPS pragma指定实例优先级 #

启用OverlappingInstances扩展，给手动定义的基础类型实例加上{-# OVERLAPS #-}标记，让编译器优先选择这个实例（包括实例内部的函数调用）：

{-# LANGUAGE OverlappingInstances, TypeApplications #-}

class t ##-> a where
    inj :: t -> a
    prj :: a -> Maybe t

class Prop t where
    fn1 :: Int -> t
    fn2 :: t -> t

instance (t ##-> a, Prop t) => Prop a where
    fn1 = inj . fn1 @t
    fn2 a1 = inj $ fn2 @t $ fromJust (prj a1)

-- 给String的Prop实例加上OVERLAPS标记
instance {-# OVERLAPS #-} Prop String where
    fn1 :: Int -> String
    fn1 = show
    fn2 :: String -> String
    fn2 s = if s == fn1 0 then "0" else s

这个标记会告诉编译器：当存在实例重叠时，优先使用这个手动定义的实例，而非更通用的投影派生实例，实例内部的fn1 0会正确绑定到当前的手动实现。

方法二：限制投影派生实例的适用范围 #

通过类型族（TypeFamilies）定义一个约束，让投影派生的Prop实例只作用于“联合类型”，排除基础类型（如String、Int等），从根源上避免重叠：

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}

class t ##-> a where
    inj :: t -> a
    prj :: a -> Maybe t

class Prop t where
    fn1 :: Int -> t
    fn2 :: t -> t

-- 定义类型族，标记哪些类型是联合类型
type family IsSumType a where
    IsSumType String = 'False
    IsSumType Int = 'False
    -- 可以继续添加其他需要排除的基础类型
    IsSumType _ = 'True

-- 给投影派生实例加上IsSumType约束，只对联合类型生效
instance (t ##-> a, Prop t, IsSumType a ~ 'True) => Prop a where
    fn1 = inj . fn1 @t
    fn2 a1 = inj $ fn2 @t $ fromJust (prj a1)

-- 手动定义String的Prop实例，此时不会和投影实例重叠
instance Prop String where
    fn1 :: Int -> String
    fn1 = show
    fn2 :: String -> String
    fn2 s = if s == fn1 0 then "0" else s

这种方式更优雅，通过类型系统区分基础类型和联合类型，彻底消除实例重叠的可能。

方法三：绕开类型类查找，直接引用顶层函数 #

把手动实例的函数实现提取为顶层函数，在实例里直接引用，完全避免类型类查找的歧义：

-- 先定义顶层函数，实现String的Prop逻辑
propStringFn1 :: Int -> String
propStringFn1 = show

propStringFn2 :: String -> String
propStringFn2 s = if s == propStringFn1 0 then "0" else s

-- 实例直接引用顶层函数
instance Prop String where
    fn1 = propStringFn1
    fn2 = propStringFn2

这种方式最稳妥，不需要启用额外扩展，也不会涉及任何实例重叠问题，适合对GHC扩展使用有顾虑的场景。

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