A特质的自我类型:他说:“A不能被混合到一个具体的类中，这个类不能同时扩展B。”另一方面，以下几点:表示“任何(具体或抽象的)类在A中混合也会在B中混合”。这两句话的意思难道不是一样的吗?自我类型似乎