主要関連型 (Primary Associated Types)