You can add an extra annotation to myA, i.e. rewriting that one line to print $ (myA :: A) {c = 13}. Then you get a warning which you can safely ignore with {-# OPTIONS_GHC -Wno-ambiguous-fields #-}. And then some day, you’ll be able to add {-# LANGUAGE OverloadedRecordUpdate #-} and remove the annotation.