Comment by buerkle

But then you are representing two distinct types as the same underlying type, String.

  MyType extends String;
  void foo(String s);
  foo(new MyType()); // is valid

Leading to the original problem. I don't want to represent MyType as a String because it's not.