Trait for zipping HLists
This trait is part of the implementation of the inherent method
HCons::zip. Please see that method for more information.
You only need to import this trait when working with generic
HLists of unknown type. If the type of everything is known,
list.zip(list2) should “just work” even without the trait.