[FOLD] integer_Sequence migration