only explicit universal quantification

Ashley Yakeley ashley at
Mon Mar 13 14:47:52 EST 2006

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

More information about the Haskell-prime mailing list