@value interface Type1 {}

@value interface Type2 {
  refines Type1
}

@value interface Inherited<|#x> {}

@value interface Parent {
  refines Inherited<Type2>
}

concrete Child {
  refines Parent
  refines Inherited<Type1>
}