replace IntSeq with List

yes, I will weigh in. This is fine with me for now. Eventually, as the code base mutates and evolves, I expect I will want to see the boolean value of whether we are proving something be an injected dependency, and then we would just inject false into kompile.