Re: [GHC] #2119: explicitly importing deprecated symbols should elicit the deprecation warning