Над ними в библиотеках подобной frunk определяют множество разных операций.
Точно так же можно определить Coproduct, который аналог Either'а, но для большего числа альтернатив.
И достаточно любопытный момент, что любой enum и struct можно представить как сочетания HList и Coproduct, т.е.
enum NormalType {
One(i32, i64),
Two(u64)
}
type NormalTypeRepresentation = Coprod![
HList![i32, i64],
HList![u64]
];
И frunk умеет переводить типы из одного представления в другое. Это можно пробовать использовать для дерайва трейтов без макросов, когда ты определяешь трейт для произвольного Hlist и Coprod и получаешь реализацию трейта для твоего типа автоматом за счёт перевода его в такой вид.
