在类型类中使用类型构造函数有什么优势

在类型类中使用类型构造函数有什么优势