attempting to remove a type variable