object test extends Application {
  class MyOuter[T](t : T) {
    class MyInner { val s = t; }
  }
  val withString = new MyOuter("hello");
  val withInt    = new MyOuter(10);
  val innerWithInt = new withInt.MyInner;
  def f(a : Any) = a match {
  case a : withString.MyInner => Console.println("size: " + a.s.length);
  case _ =>
  }
  f(innerWithInt);
}