GHC’s type system supports arbitrary-rank explicit universal quantification in types through the use of the
RankNTypes language extensions.
forallkeyword can be used to add higher-rank quantification.
StackOverflow forces me to have one example. If this topic is approved, we should move this example here.