Re: [GHC] #15238: T13838 fails in ghci way