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/ _______________________________________________ Haskell-prime mailing list [email protected] http://haskell.org/mailman/listinfo/haskell-prime
