This type, famously provided by the Shapeless library, models a "linked list" of different types, providing a variable-length tuple-like structure that can be transformed in any number of ways, and is especially useful for macros and code generation.