[Haskell] A puzzle and an annoying feature

[Paul Govereau]

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