+ <entry><option>-X=RelaxedPolyRed</option></entry>
+ <entry>Relaxed checking for <link linkend="typing-binds">mutually-recursive polymorphic functions</link></entry>
+ <entry>dynamic</entry>
+ <entry><option>-X=NoRelaxedPolyRec</option></entry>
+ </row>
+ <row>
+ <entry><option>-X=ExtendedDefaultRules</option></entry>
+ <entry>Use GHCi's <link linkend="extended-default-rules">extended default rules</link> in a normal module</entry>
+ <entry>dynamic</entry>
+ <entry><option>-X=NoExtendedDefaultRules</option></entry>
+ </row>
+ <row>
+ <entry><option>-X=OverloadedStrings</option></entry>
+ <entry>Enable <link linkend="overloaded-strings">overloaded string literals</link>.
+ </entry>
+ <entry>dynamic</entry>
+ <entry><option>-X=NoOverloadedStrings</option></entry>
+ </row>
+ <row>
+ <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>
+ <entry>Enable <link linkend="scoped-type-variables">lexically-scoped type variables</link>.