My biggest gripe with C# at the moment is the lack of discriminated unions. It feels _so_ close to being good with type pattern matching, except we don't have e

My biggest gripe with C# at the moment is the lack of discriminated unions. It feels _so_ close to being good with type pattern matching, except we don't have exhaustiveness checks! Super excited to see this proposal and I can't wait to have this