object Test {
  def x: List[M forSome { type M[_] }] = ???
}