@value interface Base<#x> { }

@value interface Value<#x|#y|#z> {
  refines Base<#self>
  call () -> (#self)
}