Re: [GHC] #15202: Internal error showing typed hole in GHCi