@type interface Interface {}

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