T MyType
   F.virtual.new someMethod() -> N // this is polymorphic
      print()