まずベースとなるもの struct nil {}; template <class Car, class Cdr> struct cons { typedef Car car; typedef Cdr cdr; }; いまの型リストはこれ #define TYPELIST1(T0) cons<T0, nil> #define TYPELIST2(T0, T1) cons<T0, TYPELIST1(T1) > #define TYPELIST3(T0, T1, T2) cons<T0, TYPELIST2(T1, T2) > #define TYPELIST4(T0, T1, T2</t0,></t0,></t0,></class>…