De-orphan tuple Eq/Ord instances