What does the `forall` keyword in Haskell/GHC do?

I’m beginning to understand how the forall keyword is used in so-called “existential types” like this:

data ShowBox = forall s. Show s => SB s

This is only a subset, however, of how forall is used and I simply cannot wrap my mind around its use in things like this:

runST :: forall a. (forall s. ST s a) -> a

Or explaining why these are different:

foo :: (forall a. a -> a) -> (Char, Bool)
bar :: forall a. ((a -> a) -> (Char, Bool))

Or the whole RankNTypes stuff…

I tend to prefer clear, jargon-free English rather than the kinds of language which are normal in academic environments. Most of the explanations I attempt to read on this (the ones I can find through search engines) have these problems:

  1. They’re incomplete. They explain one part of the use of this keyword (like “existential types”) which makes me feel happy until I read code that uses it in a completely different way (like runST, foo and bar above).
  2. They’re densely packed with assumptions that I’ve read the latest in whatever branch of discrete math, category theory or abstract algebra is popular this week. (If I never read the words “consult the paper whatever for details of implementation” again, it will be too soon.)
  3. They’re written in ways that frequently turn even simple concepts into tortuously twisted and fractured grammar and semantics.

So…

On to the actual question. Can anybody completely explain the forall keyword in clear, plain English (or, if it exists somewhere, point to such a clear explanation which I’ve missed) that doesn’t assume I’m a mathematician steeped in the jargon?


Edited to add:

There were two stand-out answers from the higher-quality ones below, but unfortunately I can only choose one as best. Norman’s answer was detailed and useful, explaining things in a way that showed some of the theoretical underpinnings of forall and at the same time showing me some of the practical implications of it. yairchu’s answer covered an area nobody else mentioned (scoped type variables) and illustrated all of the concepts with code and a GHCi session. Were it possible to select both as best, I would. Unfortunately I can’t and, after looking over both answers closely, I’ve decided that yairchu’s slightly edges out Norman’s because of the illustrative code and attached explanation. This is a bit unfair, however, because really I needed both answers to understand this to the point that forall doesn’t leave me with a faint sense of dread when I see it in a type signature.

8 Answers
8

Leave a Comment