No, you have no branches, because the "no element" case is *not a slice! It is a type error at generation!
Instead, I'm dealing with that case at literally every one of thousands of places where I might receive it*! That's not clean.
Instead, I'm dealing with that case at literally every one of thousands of places where I might receive it*! That's not clean.
If you've worked with mathematical proofs before, you'll have experience with how they make proofs shorter and more elegant.
That's why they're natural base cases.