@type interface Interface { }

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