Re: [GHC] #9931: Option to truncate Show output in ghci REPL