слушай, я наверное, как всегда, поспел к разбору, но вчера удосужился-таки начать смотреть книжку Александреску, не удержался, и написал анонсированные
там списки типов на шаблонах :) всё-таки это удивительно, устраивать лисп внутри C++. правда, ещё не смотрел, как там у него, сам написал class Nil и template<class X, class Y> class Cons, а также несколько шаблонов вроде Length, IsNil, Concat :)