only explicit universal quantification

[Ashley Yakeley]

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/