Компилятор Mono C# интерпретирует правильное выражение как ошибочный аргумент типа

Я работал над созданием своего собственного языка со статической типизацией, когда понял, что может оказаться невозможным различить выражение, использующее оператор <, и аргумент типа для класса или метода.

Основная причина этого заключается в том, что, как и в C#, не все классы должны быть предварительно объявлены перед использованием, поэтому, когда идентификатор анализируется после <, это может быть либо выражение типа valueA < valueB или это может быть аргумент типа valueA<valueB>.

Тогда я подумал, может быть, если есть закрывающий >, то его можно проанализировать как аргумент типа, но потом я вспомнил, что хотел, чтобы мой язык имел перегрузку операторов, поэтому выражения вроде valueA < valueB > (valueC) могли быть совершенно действительный.

Я решил поэкспериментировать с другими языками и обнаружил, что C# больше всего похож на язык, который я пытался создать, и, возможно, я сломал его.

Выражение foo < bar > (2) в приведенном ниже коде должно быть абсолютно правильным выражением из-за класса с перегруженными операторами < и >.

Насколько мне известно, выражение должно быть проанализировано как (foo (2), но вместо этого я получаю сообщение об ошибке, указывающее, что "Переменная 'foo' не может использоваться с аргументами типа ." Чтобы доказать, что это выражение должно быть допустимым, я поменял местами знаки < и >, чтобы выражение выглядело как < code>foo > bar < (2), и эта программа скомпилировала и распечатала именно то, что вы ожидаете, MainClass+baz.

В этом конкретном примере компилятор, вероятно, мог бы понять это, потому что он знает, что foo является переменной, и может предположить, что < означает выражение, но если бы foo был статическим членом другого класса, то было бы невозможно различить выражение < и аргумент типа.

using System;

class MainClass {
  public static void Main (string[] args) {

    baz foo = new baz();

    baz bar = new baz();

    // perfectly valid expression, results in error: The variable `foo' cannot be used with type arguments
    Console.WriteLine(foo < bar > (2));

  }

  class baz {
    public static baz operator<(baz l, baz r) {
      return l;
    }

    public static baz operator>(baz l, baz r) {
      return l;
    }

    public static baz operator<(baz l, int r) {
      return l;
    }

    public static baz operator>(baz l, int r) {
      return l;
    }

  }

  public String toString() {
    return "baz";
  }

}

Мой вопрос в том, как решить эту проблему в компиляторе С# и других языках?

Я вижу несколько вариантов:

1. Сообщить об ошибке в неоднозначной ситуации
2. Может быть, есть еще какой-то контекст, который можно использовать для разрешения этой двусмысленности.
3. C# существенно сломан, и нам следует разработать новый синтаксис для аргументов типа в будущих языках. Если да, то как это должно выглядеть?

Может быть, есть какой-то стандарт на этот счет, но я думаю, что принять это было бы просто небрежностью, и мы должны, по крайней мере, выбрать вариант 1.