能明确消除记录更新的歧义吗？

使用 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 ）