そうか、だから、ジェネリック型にそもそもvarianceがないからか？