replace IntSeq with List