I'd go 50:50 with Redline MTL:MT90, or Amsoil MTF:MTG
I would not go straight synchromesh, mtl, or mtf.
Kia/Hyundais originally required 90wt gear oils. They just recently started to use a 'lifetime 85wt' gear oil(same move that other automakers made, like Nissan....).
Its normal for the cold shift to require a little more effort.
The fact that Amsoil/Redline.... are full synthetics should ease some of the cold weather shift issue.
A mild increase in wear with a thinner fluid can shorten the life of the transmission. And, thinner fluids can make the gearbox noisier. Since you didn't list year/model/make/drivingstyle...... this is something you need to consider prior to going any thinner.
Btw, your northern climate, which is typically cooler, can get away with the thinner 80wt's. Or, you can blend thinner if 50:50 isn't good. Go 66-75% with the thinner oil.