Re: [GHC] #12371: Error message, room for improvement