This message was deleted.

I don't fully buy it. You still have to remember adding the

.exhaustive

. How is that different from remembering to add the

else

?