What changes in practice: → You declare the shape once - Success or Failure - and the compiler knows the full set of cases. → Your switch becomes exhaustive. Miss a case, and the compiler tells you, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results