Re: [GHC] #8478: Compilation crash with "kindFunResult"