Jon Pretty

def foo[T, Coll[T]] = ??? ^^^ the same T def foo[T, Coll[T] <: Seq[T]] = ??? ^^^ not all the same T

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