Как может Seq [+ A] быть ковариантным в A?

Как Seq [+ A] может быть ковариантным в A, если A встречается в контравариантной позиции:

def :+ (elem: A) : Seq[A] ?

Как я понимаю, тип аргумента метода является контравариантным положением. Что мне не хватает?