no more type variable in Token