Change exhaustiveness analysis to allow a pattern to specialize with multiple constructors