Было бы неплохо, чтобы в методах variant-а, которые не принимают аргументов match(this) мог бы подставляться автоматически:

variant E
{
  | X
  | Y
  
  public override ToString() : string
  {
    // match(this)
    // {
      | X => "X"
      | _ => "O"
    // }
  }
}