Можно явно разрешить неоднозначность обновления записи?

С RecordWildCards один из вариантов — case recordA of MkA {..} -> MkA {c = 17, ..}, хотя мне это тоже кажется неудовлетворительным.

Было бы здорово писать просто MkA {c = 17, ..recordA}, чтобы перенести все поля из recordA в новую запись.

Или так

main = do
    print $ let MkA {..} = recordA in MkA {c = 17, ..}

Стоит упомянуть, что, несмотря на уродливый синтаксис, здесь явно видно выделение совершенно новых данных вместо изменения существующих на месте. Поэтому я бы предпочёл обозначение примерно такого вида

MkA { c = 17
    , .. = recordA
    }

Можно добавить к recordA ещё одну аннотацию типа, например заменить эту строку на print $ (recordA :: A) {c = 17}. Появится предупреждение, которое можно спокойно отключить с помощью {-# OPTIONS_GHC -Wno-ambiguous-fields #-}. А со временем добавление {-# LANGUAGE OverloadedRecordUpdate #-} позволит снова убрать эту аннотацию.

Да, вся эта ситуация ужасна. (https://discourse.haskell.org/t/what-are-you-supposed-to-do-about-wambiguous-fields/9545/22)