[Haskell] A puzzle and an annoying feature

Paul Govereau govereau at eecs.harvard.edu
Wed Nov 24 19:06:15 EST 2004

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,

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...]

More information about the Haskell mailing list