Re: [GHC] #12128: ghci cause panic on 8.0.1