[Haskell-cafe] existential quantification

TP paratribulations at free.fr
Tue Dec 3 03:53:42 UTC 2013

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.


More information about the Haskell-Cafe mailing list