@value interface Value {
  call () -> (#self)
}

concrete Child {
  refines Value
  @value call () -> (Child)
}