假设我有A, B代表类型变量的字母，这些变量最初是未绑定的并a,b,c代表类型构造函数。然后我需要展示通过统一获得的类型变量的绑定（或者解释为什么失败）。
我得到了以下两种类型：
a(A,b(c)) and a(B,A)
我有两个问题：
1）类型构造函数是什么意思？对我来说这个；a(A,b(c))，看起来像是a这里的类型构造函数，它是一个带有两个参数的函数。
2）有人可以告诉我他们会采取什么方法吗？我看这里来理解这个概念：http ://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm