+ <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>
+ <entry>dynamic</entry>
+ <entry><option>-XNoImpredicativeTypes</option></entry>
+ </row>
+ <row>
+ <entry><option>-XExistentialQuantification</option></entry>
+ <entry>Enable <link linkend="existential-quantification">existential quantification</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoExistentialQuantification</option></entry>
+ </row>
+ <row>
+ <entry><option>-XKindSignatures</option></entry>
+ <entry>Enable <link linkend="kinding">kind signatures</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-XNoKindSignatures</option></entry>
+ </row>
+ <row>
+ <entry><option>-XEmptyDataDecls</option></entry>