Type-class providing evidence that type T is structurally equivalent to an HList-type L
Type-class providing evidence that type T is structurally equivalent to an HList-type L
Additionally provides a round-trip into and out of L
for a given instance of T