@type interface Parent {}

concrete Child {
  defines Parent
}