Re: more detailed explanation about forall in Haskell

[Lennart Augustsson]

Jan Brosius wrote:

> > "x" in the domain of your model, and that that element, at least,
> satisfies
>
> x is a variable ; no domain ; no model

You must have some assumed convention that makes x a variable.
For the rest of us it might as well be a constant, because there is
no way to tell if it is a variable or not.

--

        -- Lennart