GHC proposal for OverloadedRecordFields (plus some amendments to OverloadedLabels)