+ <entry><option>-XNewQualifiedOperators</option></entry>
+ <entry>Enable <link linkend="new-qualified-operators">new
+ qualified operator syntax</link></entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoNewQualifiedOperators</option></entry>
+ </row>
+ <row>
+ <entry><option>-XExplicitForALl</option></entry>
+ <entry>Enable <link linkend="explicit-foralls">explicit universal quantification</link>.
+ Implied by <option>-XScopedTypeVariables</option>,
+ <option>-XLiberalTypeSynonyms</option>,
+ <option>-XRank2Types</option>,
+ <option>-XRankNTypes</option>,
+ <option>-XPolymorphicComponents</option>,
+ <option>-XExistentialQuantification</option>
+ </entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoExplicitForAll</option></entry>
+ </row>
+ <row>
+ <entry><option>-XPolymorphicComponents</option></entry>
+ <entry>Enable <link linkend="universal-quantification">polymorphic components for data constructors</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoPolymorphicComponents</option></entry>
+ </row>
+ <row>
+ <entry><option>-XRank2Types</option></entry>
+ <entry>Enable <link linkend="universal-quantification">rank-2 types</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoRank2Types</option></entry>
+ </row>
+ <row>
+ <entry><option>-XRankNTypes</option></entry>
+ <entry>Enable <link linkend="universal-quantification">rank-N types</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoRankNTypes</option></entry>
+ </row>
+ <row>
+ <entry><option>-XImpredicativeTypes</option></entry>
+ <entry>Enable <link linkend="impredicative-polymorphism">impredicative types</link>.</entry>