Re: [GHC] #9986: lhs -> hs fallout