Are pattern guards obsolete?

[Dave Menendez]

Yitzchak Gale writes:

> Philippa Cowderoy wrote:
> >> I don't find it any more confusing than the overloading
> >> of ->.
> 
> I wrote:
> > You mean that it is used both for lambda abstractions
> > and for functional dependencies? True, but those
> > are so different that there is no confusion.
> 
> Oh, and case. Also quite different.

Also type and kind signatures.

The use in case and lambda abstractions strike me as analogous. They
both have a pattern to the left and an expression to the right.
-- 
David Menendez <zednenem at psualum.com> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem>      |        of thermodynamics!"