Re[2]: Lexically scoped type variables