// define container trait, type alias and value
  trait Container[F[_]]
  type CC[F[_]] = Container[F]
  val c = new CC[Option] {}

  // fails for 2.10 and 2.11
  // error: can't existentially abstract over parameterized type F
  type SomeContainer = Container[F] forSome { type F[_] }
  val test1 = c.asInstanceOf[SomeContainer]

  // works for 2.10 but fails for 2.11
  type SomeCC = CC[F] forSome { type F[_] }
  implicitly[SomeContainer =:= SomeCC]
  val test2 = c.asInstanceOf[SomeCC]

  // workaround for 2.11 but isn't it the same as test2?
  type SomeF[X] = F[X] forSome { type F[_] }
  implicitly[SomeCC =:= CC[SomeF]]
  val test3 = c.asInstanceOf[CC[SomeF]]