removed a type variable