ある型のassociatedtypeが一般的に期待される型があり得る場合ですね、 stdlibでもそこら中にありますよ