sequencing HLists