No scoped type variables