それっぽいですね。 associatedtype ありの方も見てみます。