path: root/test/files/pos/t9008.scala

trait Monad[M[_]]

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