Re: Scoped Type Variables discussion forum [was: open up the issues tracker on ghc-proposals]