For final switches that hit non-covered cases it throws `SwitchError("No appropriate switch clause found")`. Since I'm also throwing a `SwitchError` - which is normally only used with that text - I believe adding the "Match nonexhaustive" message, which yields nothing but relevant results on the first page when you google it - better helps in understanding the problem.