型の合成