[Haskell-cafe] existential quantification

[TP]

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