Re: [GHC] #7372: Lint failure in GHC 7.6.1