Re: [GHC] #15479: Return HsType GhcTc from tc_hs_type