同一traitが複数の型で実装されてたらその型ごとに作られるはず