Re: Lexically scoped type variables