为什么这需要 (Eq t, Num t) 作为类型类？ [复制]

Question

所以我在Haskell中做了一些练习，我认为int2nat的类型在

int2nat :: (Eq t, Num t) => t -> Nat

int2nat 0 = Zero
int2nat n = Succ (int2nat (n-1)

应该是int2nat :: (Num t) => t -> Nat。

有人可以解释为什么不是这样，以及为什么附加的Eq t 是正确的吗？

Answer 1

因为您匹配模式中的数字文字 0。 int2nat 0 = Zero 脱糖成 int2nat n | n == fromInteger 0 = Zero 之类的东西。