Re: [GHC] #14140: Better treatment for dataToTag