关于GADT部分，这里的问题是您正在使用扣脚本及其古老的4.02.3编译器版本。 例如，下面的代码在OCaml≥4.03中可以很好地工作：

type two = Two ; 
type three = Three ;
/* Never define abstract types when you want to use them as type level tags,your code will only works inside the module defining them,and then
  fail due to injectivity problems.
*/

type vector('a) = 
  | Vector2D(float,float): vector(two)
  | Vector3D(float,float,float): vector(three);

let sum_2 = (Vector2D(x,y)) => x +. y
let sum_3 = (Vector3D(x,y,z)) => x +. y +. z 
let sum_any = (type a,x: vector(a) ) => switch (x) {
  | Vector2D(x,y) => x +. y;
  | Vector3D(x,z) => x +. y +. z
}

但是它会在4.02.3上失败，并带有穷举性警告（应将其视为错误），因为仅在4.03中才添加了带有引用子句的GADT的穷举性检查。

您可以使用polymorphic variants完成所需的操作：

type vector = [
  | `Vector2D(float,float)
  | `Vector3D(float,float)
];

let first = (a: [`Vector2D(float,float)]) => {
  switch(a) {
    | `Vector2D(x,y) => x +. y
  }
}

let second = (`Vector2D(x,y)) => {
  x +. y
}

如果您尝试将`Vector3D传递给任何一个函数，这将给您键入错误：

               ^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type [> `Vector3d(float,float) ]
       but an expression was expected of type [< `Vector2D(float,float) ]
       The second variant type does not allow tag(s) `Vector3d

首先请注意，示例中的Vector2D和Vector3D不是类型。它们是构造vector('a)类型的值的构造函数。正如您正确指出的那样，它们有时也称为“标签”，而该类型有时也称为“标签联合”而不是“变量”，因为值包含一个标签，该标签指定了用于构造该标签的构造器。当您使用构造函数模式进行模式匹配时，将检查标记。

您在示例中使用的不是普通变体，而是Generalized Algebraic Data Type (GADT)（在OCaml / Reason中可能更恰当地命名为“ Generalized Variant”），其原因不起作用的是，尽管GADT允许您将特定类型分配给构造函数，但反之则行不通。例如，您可以有几个指定vector(two)的构造函数。（编辑：这似乎是错误的，请参阅@octachron的答案）

示例中的first或third函数均无法编译，编译器期望使用元组，因为您使用的是元组模式而不是构造函数模式。 (x,y)与Vector2D(x,y)不同。如果是这样的话，例如，您将无法将Vector2D(float,float)与Line(point,point)区分，其中包含完全不同类型的数据。