Functional programming 关于Hindley-Milner算法，类型构造函数是什么意思？

假设我用字母

A，B

表示最初未绑定的类型变量，用字母

A，B，c

表示类型构造函数。然后，我需要显示通过统一获得的类型变量的绑定（或者解释失败的原因）

我得到了以下两种类型：

a(A,b(c)) and a(B,A)

我有两个问题：

1） 类型构造函数是什么意思？对我来说

a（a，b（c））

，看起来

a

是这里的类型构造函数，它是一个包含两个参数的函数

2） 有人能告诉我他们会采取什么方法吗？我看这里是为了理解这个概念：