abstract aspect Super<T> {
  declare parents: T implements I;
}