Запрос нескольких листов

typedef typename Tail::inUnion dummy;
 Однако я не уверен, что реализация inUnion верна.  Если я правильно понимаю, этот класс не должен быть создан, поэтому вкладка «fail» никогда не будет автоматически терпеть неудачу.  Возможно, было бы лучше указать, находится ли тип в объединении или нет с простым булевым значением. 
template  struct Contains;

template 
struct Contains >
{
    enum { result = Contains::result };
};

template 
struct Contains >
{
    enum { result = true };
};

template 
struct Contains
{
    enum { result = false };
};
 PS: Посмотрите на  Boost :: Variant  
 PS2: посмотрите на  typelists , особенно в книге Андрея Александреску: Modern C ++ Design