类型 Lambda

类型 Lambda能够在无需类型定义的情况下直接表示高阶类型。

[X, Y] =>> Map[Y, X]

例如，上面表示了一个双参数的类型构造器，它将参数 X 和 Y 映射至 Map[Y, X]。类型 Lambda 的类型参数可以有边界，但不能携带 + 或 - variance 标注。