これは他のトレイトを実装するときと同様です。関連型を定義するために利用します。左側にある名前で、実装に用いる具体的な型は右側にあるものになります。最後に、具体的な型を関数の宣言に利用します。関連型を伴うトレイトすこし触れておきたい構文のひとつに、トレイトオブジェクトがあります。^~~~~~~~~~~~~~~~~~~~~~~~~~~~~上のようにしてトレイトオブジェクトを作ることはできません。関連型について知らないからです。