@value interface Interface<|#x> { }

concrete Type<#x|> {
  #x allows Interface<#x>
}