Can record updates be disambiguated explicitly?

i've got a minimal example on Haskell Playground, can this code be made to compile somehow? i can't figure out how to tell GHC that the update should target type A. searching mostly finds GHC's user guide alongside the following stackoverflow question https://stackoverflow.com/questions/47854019/disambiguate-record-update-with-duplicaterecordfields

The conversation continues 3

Follow the reasoning

Ren5 Aug Permalink
Using RecordWildCards, one option is case recordA of MkA {..} -> MkA {c = 17, ..}, though I also find that unsatisfactory.

Being able to write just MkA {c = 17, ..recordA} to bring every field of recordA over into the fresh record would be nice.
hkr5 Aug Permalink
Following an earlier reply ↗
Alternatively
```
main = do
    print $ let MkA {..} = recordA in MkA {c = 17, ..}
```
Worth mentioning that despite its ugly syntax, this makes clear that you're allocating entirely fresh data rather than changing the existing data in place. I'd therefore favor a notation along these lines
```
MkA { c = 17
    , .. = recordA
    }
```
Noor5 Aug Permalink
Giving recordA another type annotation works, for example changing that line to print $ (recordA :: A) {c = 17}. It produces a warning that can safely be silenced using {-# OPTIONS_GHC -Wno-ambiguous-fields #-}. Eventually, adding {-# LANGUAGE OverloadedRecordUpdate #-} should let you drop that annotation again.

Indeed, the whole situation is awful. (https://discourse.haskell.org/t/what-are-you-supposed-to-do-about-wambiguous-fields/9545/22)