A when without exhaustiveness should be rewritten ...
# arrow
s
A when without exhaustiveness should be rewritten as fold or as an exhaustive when. That's a good rule of thumb imo.