[ghc-steering-committee] #179: Tweak the printing of foralls, recommendation: accept

Dear Committee, Richard, in collarboration with Simon PJ, proposes some tweaks to how foralls are printed by GHC. In particular, whenever a type variable is printed with an forall, it is printed with {a} unless it is a specified variable. And there are tweaks to what :type does with its argument that makes it more useful, and obviates the need for a separate :type +v. https://github.com/goldfirere/ghc-proposals/blob/printing-foralls/proposals/... I like that it actually simplifies the UI (by removing :type +v), so I recommend acceptance. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/