hlist

类型级别的异构列表，以及与之相关的索引，当与类型推理结合使用时，可以近似类型驱动搜索

lib.rs:

此包提供类型 Nil 和 Cons<H, T>，它们可以一起创建由多个类型组成的列表。列表中的类型存在于列表的类型中，因此 Cons<i32, Cons<i64, Nil>> 包含一个 i32 和一个 i64。如果类型 T 在 HList 中恰好出现一次，通常可以使用 Find 特性让编译器在 HList 中找到 T。