Re: [GHC] #13853: TypeApplications and record syntax don't mix