Re: [Haskell-cafe] existential quantification

Brandon Allbery wrote:

Which brings us to what is *really* going on. When you write

test :: Show s => s

you are saying exactly and only this:

Any function that calls me can request *any* type that has an instance of Show, and I will give them *that type*.

Thanks Brandon for this interpretation. I have carefully written it in my Haskell notes. TP