タプルは今のところ covariant になってないから、素直に考えればそれはないのでは？