Cartesian product of HLists