RE: Lexically scoped type variables