Re: A new view of guards

[Brian Boutel]

I'm quite comfortable with the idea. Guards are part of the lhs of an 
equation, and that is where binding takes place.

The <- syntax worries me a bit, because in the comprehension use it has a 
different type, but the let syntax is available, and one can write
"let p = e"  "for p <- e". I think that, to reduce possible confusion, I would 
use, and teach, the let form. Given that, I don't object to the funny use of 
<-.

--brian