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...] _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
