HList, which stands for "heterogenous lists", is a data-structure for a list of elements of different but known at compile time types.
I am really interested in finding out where the differences are, and more generally, to identify canonical use cases where …