Heterogenous data structures

• Tuples
• Promoted lists
• HList
• Constraint kind
• Constraining all items in a type-list
• ConstraintKinds
• :kind and :kind!
• Vec vs. HList
• Heterogenous map function