레코드 갱신 대상을 명시적으로 구분할 수 있나요?

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)