Felix 111：广义代数数据类型

具有一般类型指数的变体。