removing a type variable