* other solution: put everything inside a function, so that the
type variable is still generalizable after typing the function.
In that case, the witness remains invisible, doesn't it?
No, the idea is to give the witness as argument to the function, so
that its type is inferred and
Excerpts from Jake Donham's message of Thu Jun 26 23:10:20 +0200 2008:
Hi list,
I expected the following program to fail with a parse error, but it
happily ignores the extra '+'. I would be grateful if someone could
point out what I'm doing wrong. Thanks,
Nothing wrong from you, that's a