关于类型：多态函数作为 Haskell 中的参数

Polymorphic functions as parameters in Haskell

我有一个带有两个构造函数的 ADT；一个package Double 和一个package Integer。我想创建一个函数，该函数在 Num 类型类上采用一元函数并返回一个将该一元函数应用于我的 ADT 内容的函数。

我试过这个：

1
2
3
4
5

data X = Y Integer
| Z Double
wrap :: Num n => (n -> n) -> X -> X
wrap f (Y i) = Y $ f i
wrap f (Z i) = Z $ f i

但是编译器告诉我它不能将类型变量 n 与 wrap 的第二个定义中的类型 Double 匹配：

1
2
3
4
5
6
7
8
9
10
11
12

test.hs:5:22: error:
? Couldn't match expected type ‘n’ with actual type ‘Double’
‘n’ is a rigid type variable bound by
the type signature for:
wrap :: forall n. Num n => (n -> n) -> X -> X
at test.hs:3:9
? In the first argument of ‘f’, namely ‘i’
In the second argument of ‘($)’, namely ‘f i’
In the expression: Z $ f i
? Relevant bindings include
f :: n -> n (bound at test.hs:5:6)
wrap :: (n -> n) -> X -> X (bound at test.hs:4:1)

如果我删除第二个定义(所以我只在整数构造函数 Y 上定义 wrap)，我会得到相同的错误，但是在第一个定义上(并且使用 actual type 'Integer' 而不是 double)。

如果我删除类型签名，第一个定义会导致它推断类型 (Integer -> Integer) -> X -> X 进行换行，这(预期)会导致第二个定义无法进行类型检查。

这似乎是一个如此简单的问题，我一定错过了一些明显的东西。提前感谢您的帮助和耐心等待！