associatedtype をそっちに持っていけるんですね。 Element も書けるから当たり前か。