つまりtupleは可変長ジェネリックスのtop typeを具体型で埋めたものになるってこと