+ <entry><option>-X=GADTs</option></entry>
+ <entry>Enable <link linkend="gadts">generalised algebraic data types</link>.
+ </entry>
+ <entry>dynamic</entry>
+ <entry><option>-X=NoGADTs</option></entry>
+ </row>
+ <row>
+ <entry><option>-X=TypeFamilies</option></entry>
+ <entry>Enable <link linkend="type-families">type families</link>.</entry>
+ <entry>dynamic</entry>
+ <entry><option>-X=NoTypeFamilies</option></entry>
+ </row>
+ <row>
+ <entry><option>-X=ScopedTypeVariables</option></entry>