replace IntSeq with List

maybe a shorter name related to ```toK```?