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