完美的类型结合。