タプルは値型だから var だったとしても共変で問題ないはずで、そもそもできないのが謎だけど何か理由があるのかな。