Make sure type variables are penalized only once during overloading