Why do you use `_ >: T` on a contravariant Scala type?