Re: [GHC] #15401: Weird GHCi bug