+ <option>-XRank2Types</option>
+ <indexterm><primary><option>-XRank2Types</option></primary></indexterm>
+ </term>
+ <term>
+ <option>-XRankNTypes</option>
+ <indexterm><primary><option>-XRankNTypes</option></primary></indexterm>
+ </term>
+ <term>
+ <option>-XPolymorphicComponents</option>
+ <indexterm><primary><option>-XPolymorphicComponents</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para> These flags control higher-rank polymorphism.
+ See <xref linkend="universal-quantification"/>.</para>
+ <para>New reserved words: <literal>forall</literal>.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>
+ <option>-XLiberalTypeSynonyms</option>
+ <indexterm><primary><option>-XLiberalTypeSynonyms</option></primary></indexterm>
+ </term>
+ <listitem>
+ <para> Allow more liberal type synonyms.
+ See <xref linkend="type-synonyms"/>.</para>
+ <para>New reserved words: <literal>forall</literal>.</para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
+ <term>