25 Nov
2004
25 Nov
'04
12:06 a.m.
I realize now that your original example did not actually have any such type variables. While playing around with your puzzle, I managed to introduce some. However, perhaps the lexically-scoped type variables are interesting in their own right. Sorry for the confusion, --Paul On Nov 24, Paul Govereau wrote:
This is a great example, thanks for posting it. However, I feel like the real problem in this example is the lexically-scoped type variables declared with your function f. I am always surprised by the effects that lexically-scoped type variables can have on top-level declarations.
[...snip...]