@type interface Parent { }

@value interface Child {
  refines Parent
}