[FOLD] integer_sequence