abstract class C extends D, implements E<F>
  {}