E4014

类型不匹配。

错误示例：

fn fst[X, Y] (a: X, b: Y) -> X {
  b
}

上述示例在第 2 行返回一个类型为 Y 的值 b，这与函数的返回类型 X 不同。

建议

请确保返回与函数的返回类型相同的值。

例如，在上述示例中，你可以这样写：

fn fst[X, Y] (a: X, b: Y) -> X {
  a
}