それって自由度が何もないのに associatedtype って変じゃないですか？