Likewise for this line, which is equivalent to:

    def isoFunctor[_[_, _]] = new IsoFunctorTemplate[Seq, List] {