abstract aspect Super<A,B> {
  declare parents: A implements B;
}