diff --git a/docs/users_guide/bugs.xml b/docs/users_guide/bugs.xml
index 12ef9460da3f79ba6fb99e3f0441dbc51965c1be..9da7927bc9f3ec66f989679ac0768a6443ddd366 100644
--- a/docs/users_guide/bugs.xml
+++ b/docs/users_guide/bugs.xml
@@ -149,6 +149,39 @@ main = do args <- getArgs
       <title>Numbers, basic types, and built-in classes</title>
 
       <variablelist>
+	<varlistentry>
+	  <term>Num superclasses</term>
+	  <listitem>
+	    <para>
+              The <literal>Num</literal> class does not have
+              <literal>Show</literal> or <literal>Eq</literal>
+              superclasses.
+            </para>
+
+	    <para>
+              You can make code that works with both
+              Haskell98/Haskell2010 and GHC by:
+              <itemizedlist>
+                <listitem>
+                  <para>
+                    Whenever you make a <literal>Num</literal> instance
+                    of a type, also make <literal>Show</literal> and
+                    <literal>Eq</literal> instances, and
+                  </para>
+                </listitem>
+                <listitem>
+                  <para>
+                    Whenever you give a function, instance or class a
+                    <literal>Num t</literal> constraint, also give it
+                    <literal>Show t</literal> and
+                    <literal>Eq t</literal> constraints.
+                  </para>
+                </listitem>
+              </itemizedlist>
+            </para>
+	    </listitem>
+	  </varlistentry>
+
 	<varlistentry>
 	  <term>Multiply-defined array elements&mdash;not checked:</term>
 	  <listitem>