static constexpr auto type_tuple_c = hana::tuple_t<T...>;
static constexpr auto idx_tuple_c = hana::tuple_c<std::size_t, 0, sizeof...(T)>;
我想将这两个大小相等的序列相互映射。但是，我似乎无法理解如何使用hana::map功能：
static constexpr auto type_idx_map_c = hana::unpack(
hana::zip_with(hana::make_pair, type_tuple_c, idx_tuple_c)
, hana::make_map
);
无论我做了什么转换，我似乎都无法创建映射。我知道地图要求其元素属于产品概念，但我似乎无法获得（甚至理解）与压缩结构相关的行为。
我能做什么，或者我做错了什么？
今天上次运行gcc version 6.0.0 20160320和hana version 0.7.0