Re: [Haskell-cafe] Re: [Haskell] pros and cons of static typing and side effects ?

Benjamin Franksen wrote:

as in

data XWrap = Show a => XWrap a

I always thought this was a pretty nice idea.

Wow, I hadn't thought of that... of course you still need to explicitly give the universal quantification if you need it. I guess the best option is to make it optional, as I still like the look of: data XWrap = exists a . Show a => XWrap a It kind of say "this is existential quantification" in large freindly letters... (A bit like a book I once read - except that said "Don't Panic") Keean.