Scoped type variables Re: Open up the issues tracker on ghc-proposals