implement foldIdSeq