Make output boxes prettier by closing them on the right
Make output boxes prettier by closing them on the right

quchen/shaking-up-ghc,snowleopard/hadrian,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,bgamari/shaking-up-ghc,sdiehl/ghc,snowleopard/shaking-up-ghc,sdiehl/ghc,sdiehl/ghc,izgzhen/hadrian