hlist Type-level heterogeneous list, and indexing that, when coupled with type inference, approximates type-directed search