Re: [GHC] #14194: ghci 8.0.2 panics