Should tuple equality operators work on tuples with different types?

Do you mean that it's too late to get rid of the implicit conversions?

Or could it be done via a follow-up proposal to deprecating tuple shuffles (round 2)?