I'm not sure this line does what you think it does; it is equivalent to:

    def isoSet[A, _[_[_], _[_]] = new IsoSet[Seq[A], List[A]] {