#include <texp_list.hpp>
type map: defines a type of mapped type from a type list example : A, B, C -> typename TypeFunctor<A>::T, typename TypeFunctor<B>::T, ...