Case class <-> HList Iso's manufactured using implicit macros.