木兰 玉兰是一个通用宏，用于自动实现由案例类（产品）和密封特征（联产品）组成的数据类型的类型类。 它支持开箱即用的递归定义的数据类型，并且在编译过程中不会花费大量时间。 如果派生失败，则会显示错误消息，内容详尽，内容丰富。 产品特点 派生案例类，案例对象和密封特征的类型类 提供用于编写​​派生的轻量级非宏语法 使用递归和互递定义 支持参数化ADT（GADT），包括递归类型 支持在协变和反变位置使用其通用类型参数的类型类 缓存隐式搜索以提高编译时效率 在派生失败时打印错误堆栈以帮助调试 提供对案例