Re: [GHC] #14078: -ddump-json doesn't work well with GHCi