abstract class x {
 type t[m[x] <: Bound[x], Bound[x]]
 val x: t[scala.collection.mutable.MutableList, Iterable]
}