<div dir="ltr">Hi, Cafe,<div><br></div><div>Can someone please explain this:</div><div><br></div><div>ghci> case 1 of 2 -> 3<br></div><br><interactive>:1:11: warning: [-Woverlapping-patterns]<br>    Pattern match is redundant<br>    In a case alternative: 2 -> ...<br>*** Exception: <interactive>:1:1-16: Non-exhaustive patterns in case<br><div><br></div><div>The non-exhaustive patterns part is obvious, but what is redundant about this match? And how can there be overlapping patterns when there's only one?</div><div><br></div><div>Todd Wilson</div></div>