object Test {
  type T = M forSome { type M[_] }
}