replace IntSeq with List

useless?