Re: [GHC] #13096: Remove tyConString