Re: [GHC] #10764: GHC panic (no skolem info)