Jon Pretty

@propensive Sure, Seq is covariant. The signature of the first is odd though... an applied type constructor? Can you do that?

@propensive Isn't the signature of the first equivalent to def foo[T, Coll[_]] = ???

@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.