Вот интересно, вообще существует ситуация где можно приметить тип TypeList(собственно не важно какая реализая, можно и из boost) именно как тип переменной, а не в качетсве typedef & template.

TypeList<........> tlist; ..для чего может понадобиться переменная tlist ?

И вопрос в догонку: почему С++ не позволяет делать следующее:
ЗЫ: Плиз не отвечайте таким образом: не позволяет стандарт

tlist::head h; //тут будет ошибочка
TypeList<........>::head h1; //тут гут

В чем тут сложность у компилятора то?