typeerror there are no type variables left in list