类型 Lambda

类型 lambda 允许直接表达高阶类型，而无需类型定义。

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

例如，上面的类型定义了一个二进制类型构造函数，它将参数 X 和 Y 映射到 Map[Y, X]。类型 lambda 的类型参数可以有界，但它们不能带有 + 或 - 差异注释。