@type interface Parent {}

@value interface Child {
  refines Parent
}