@value interface Parent {}

concrete Child {
  refines Parent
}