12 cout << "in an variadic template, type at position 1 of <char, short, int> should be <short>, and is: " << typeid(type_at< 1, char, short, int >).name() << endl;
13
14//cout << "in an type_list, type at position 1 of <char, short, int> should be <short>, and is: " << typeid(type_at< 1, type_list<char, short, int> >).name() << endl;