Explicit forall

  • The forall keyword
  • When you need it
  • Explicit type arguments

The GHC language extension called ExplicitForAll enables one fairly small, albeit useful, addition to Haskell’s syntax for writing type signatures: the forall keyword.

You don’t often need to be concerned with enabling this extension, because if you need forall, it’s probably because you’re using some other extension that enables it automatically, such as ScopedTypeVariables and RankNTypes.

You can see some discussion of explicit forall in the videos about TypeApplications and ScopedTypeVariables.

Sign up for access to the full page, plus the complete archive and all the latest content.