そうですね、ただTypeAとTypeBを毎度同じ型を定義するのがしんどいので protocol Cを定義してTypeA == TypeBであることを担保しておき、C適合時にはどちらかのみ書けばいい状態にしたいです