kharai-tor 

Analyzers and code fixes that enforce exhaustive usage of Either<T1, T2...> types with switch statements/expressions and more

Discriminated unions/Union types with native C# switch statement/expression exhaustiveness support