Re: [GHC] #1231: deprecation warnings are reported too often