For anyone wanting to follow C#'s progress on sum types and exhaustive pattern matching, you can follow/participate in the proposal[1].

[1]: https://github.com/dotnet/csharplang/issues/8928