Re: Lexically scoped type variables

Simon Peyton-Jones wrote:

I'm very interested to know whether you like it or hate it. In the latter case, I'd also like to know whether you also have programs that will be broken by the change.

I don't use GADTs yet and I assume this change will not (seriously) break our code, but let me/us know which compiler we should use for testing. Cheers Christian