64ae23f643 ^
1 2 3 4 5
trait Monad[M[_]] object Test { def x: Monad[M forSome { type M[_] }] = ??? }