Added example: Cartesian product of HLists.