scala> import scala.collection._
scala> :type 1
Int
scala> object IterableTest { def g[CC[_] <: Iterable[?] & IterableOps[?, ?, ?]](from: CC[Int]): IterableFactory[CC] = ??? }
// defined object IterableTest
