@value interface Base { }

concrete Type1 {
  refines Base
}

concrete Type2 {
  refines Base
}

@value interface Interface1<|#x> { }

@value interface Interface2<|#x> { }

concrete Type {
  refines Interface1<Type1>
  refines Interface2<Type2>
}