Re: only explicit universal quantification

Wolfgang Jeltsch wrote:

what about dropping implicit universal quantification of type variables from the language, meaning that every universal quantification has to be made explicit?

I like this idea, but perhaps it should be a warning option to the compiler (which can be enforced with -Werror on GHC). -- Ashley Yakeley, Seattle WA WWED? http://www.cs.utexas.edu/users/EWD/