Re: [GHC] #13847: record construction accepts local unqualified name instead of qualified imported name