forall quantifier

[Ralf Hinze]

Am Freitag, 6. Juni 2003 09:15 schrieb Simon Peyton-Jones:
> I forget whether I've aired this on the list, but I'm seriously thinking
> that we should change 'forall' to 'exists' in existential data constructors
> like this one. One has to explain 'forall' every time.  But we'd lose a
> keyword.

Or omit the keyword altogether (Doaitse has suggested this before).
This is quite in line with uses of quantifiers elsewhere (in the
horn rule `path(A,C) :- path(A,B), path(B, C)' the variable `C'
is implicitly existentially quantified in the body).

Cheers, Ralf