replace IntSeq with List

Sure, I can rename it.