了解函数类型

我在尝试理解 Haskell 如何确定函数类型时感到有点困惑。这是一个例子：

boolFcn x y = x/=3 && y/=4

当我检查上述函数的类型时，它给出了结果：

(Num a1, Num a, Eq a1, Eq a) => a -> a1 -> Bool

这是另一个例子：

triangles = [ (a,b,c) | c <- [1..10], b <- [1..10], a <- [1..10] ]   

并申请:t on triangles结果：

(Num t2, Num t1, Num t, Enum t2, Enum t1, Enum t) =>  [(t, t1, t2)]

我脑子里出现了一些问题，但我自己很难解决：

1. 为什么 boolFcn 的类型由以下组成a, a1文字，而三角形的类型包括t,t1文字？有什么区别吗a and t?

2. 为什么这个 boolFcn 类型不能简化为：

   (Num a, Eq a) => a -> a -> Bool

a and a1具有相同的类型类，那么为什么我不能简单地使用一个来编写它们a？当我检查函数的类型时：

let sumthis x y = if x > y then x+y else x-y

我得到一个结果：

(Ord a, Num a) => a -> a -> a

为什么它没有导致：

(Ord a, Num a, Ord a1, Num a1) => a -> a1 -> a

如果这个问题很微不足道，我很抱歉，尽管我很乐意听到对此问题的任何解释/提示。

1. Yes, a and t在这些例子中本质上是相同的。差异只是类型推断算法的副作用。

2. 嗯，在boolFcn, (Num a, Eq a) => a -> a -> Bool不够通用，因为前两个参数不必是同一类型。考虑以下调用：

   boolFcn (4::Int) (4::Double)

   这是有效的，因为Int and Double都是该组织的成员Num and Eq类型类，但它们显然不是同一类型。在你的sumthis例子，x and y必须是相同类型，因为它们用作需要相同类型参数的函数的输入。

   我们可以通过检查看到:t (+)，返回(+) :: Num a => a -> a -> a。由于参数为+必须是同一类型，x and y必须是同一类型，所以sumthis必须需要相同类型的参数。所以

   sumthis (4::Int) (4::Double)

   将无效。