Jon Pretty

@nuttycom Hmmm, it might be. Not at a computer now, so can't check...

@propensive Actually, I think that the Ts in the second type parameter are meaningless in both cases.

@nuttycom @propensive The T in Coll[T] is meaningless in the first case, but not in the second.

@larsr_h @propensive How can you use it in the second? see https://gist.github.com/nuttycom/6467809 …

@nuttycom @propensive You could also specify sth like `Coll[X] <: Seq[List[X]]`, and instantiate it with `({type l[x] = List[List[x]]})#l`.

@nuttycom @propensive And actually, I'm a little surprised that this actually works.

@larsr_h @nuttycom Yes! I am too... Though all the steps are there to make it work, so it shouldn't surprise me.

@propensive From a beginner's perspective, having `F[_]` indicate both a kind annotation and an existential is a little confusing, though.