Re: [Hackage] #340: Deprecate RecordPuns and translate NamedFieldPuns for older ghc