type variables