@value interface Parent { }

concrete Child {
  refines Parent
}