pub trait Combine<T: HList> { type Output: HList; // Required method fn combine(self, other: T) -> Self::Output; }