Re: [GHC] #8459: Role of TExp