namespace List
{

struct Void
{
};

template<typename ...Args>
struct TypeList
{
   using Head = List::Void;
   using Tail = List::Void;
};

using EmptyTypeList = TypeList<>;

template<typename H, typename ...T>
struct TypeList<H, T...>
{
   using Head = H;
   using Tail = TypeList<T...>;
};

template<typename TL>
struct IsEmpty :
   std::true_type
{
};

template<>
struct IsEmpty<TypeList<List::Void, List::Void>> :
   std::true_type
{
};

template<typename ...Args>
struct IsEmpty<TypeList<Args...>> :
   std::integral_constant<bool,
       std::is_same<typename TypeList<Args...>::Head, List::Void>::value &&
       IsEmpty<typename TypeList<Args...>::Tail>::value>
{
};

template<typename T, typename TL>
struct Contains :
   std::false_type
{};

//template<typename ...Args>
//struct Contains<List::Void, Args...> :
//    std::false_type
//{
//};

template<typename T, typename ...Args>
struct Contains<T, TypeList<Args...>> :
   std::integral_constant<bool,
       std::is_same<typename TypeList<Args...>::Head…