Re: [ghc-steering-committee] Please Review: Show Types as Symbols (#164), Shepherd: Richard Eisenberg