@type interface Parent { }

concrete Child {
  defines Parent
}