Merge branch 'ghc-head' into ghc-9.0

20 files changed, 463 insertions, 359 deletions

diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html
index b3bc60cc..b4ce3c88 100644
--- a/html-test/ref/Bug1004.html
+++ b/html-test/ref/Bug1004.html
@@ -116,12 +116,8 @@
 		      >Type</a
 		      >)</span
 		    ></td
-		  ><td class="doc"
-		  ><p
-		    ><em
-		      >Since: base-4.9.0.0</em
-		      ></p
-		    ></td
+		  ><td class="doc empty"
+		  >&nbsp;</td
 		  ></tr
 		><tr
 		><td colspan="2"
@@ -738,14 +734,14 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:8"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:8"
 		      ></span
 		      > (<a href="#" title="Data.Functor.Classes"
-		      >Eq1</a
+		      >Show1</a
 		      > f, <a href="#" title="Data.Functor.Classes"
-		      >Eq1</a
+		      >Show1</a
 		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
-		      >Eq1</a
+		      >Show1</a
 		      > (<a href="#" title="Bug1004"
 		      >Product</a
 		      > f g)</span
@@ -759,7 +755,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:Product:Eq1:8"
+		  ><details id="i:id:Product:Show1:8"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -771,67 +767,35 @@
 			>Methods</p
 			><p class="src"
 			><a href="#"
-			  >liftEq</a
-			  > :: (a -&gt; b -&gt; <a href="#" title="Data.Bool"
-			  >Bool</a
-			  >) -&gt; <a href="#" title="Bug1004"
-			  >Product</a
-			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >liftShowsPrec</a
+			  > :: (<a href="#" title="Data.Int"
+			  >Int</a
+			  > -&gt; a -&gt; <a href="#" title="Text.Show"
+			  >ShowS</a
+			  >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
+			  >ShowS</a
+			  >) -&gt; <a href="#" title="Data.Int"
+			  >Int</a
+			  > -&gt; <a href="#" title="Bug1004"
 			  >Product</a
-			  > f g b -&gt; <a href="#" title="Data.Bool"
-			  >Bool</a
+			  > f g a -&gt; <a href="#" title="Text.Show"
+			  >ShowS</a
 			  > <a href="#" class="selflink"
 			  >#</a
 			  ></p
-			></div
-		      ></details
-		    ></td
-		  ></tr
-		><tr
-		><td class="src clearfix"
-		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:9"
-		      ></span
-		      > (<a href="#" title="Data.Functor.Classes"
-		      >Ord1</a
-		      > f, <a href="#" title="Data.Functor.Classes"
-		      >Ord1</a
-		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
-		      >Ord1</a
-		      > (<a href="#" title="Bug1004"
-		      >Product</a
-		      > f g)</span
-		    ></td
-		  ><td class="doc"
-		  ><p
-		    ><em
-		      >Since: base-4.9.0.0</em
-		      ></p
-		    ></td
-		  ></tr
-		><tr
-		><td colspan="2"
-		  ><details id="i:id:Product:Ord1:9"
-		    ><summary class="hide-when-js-enabled"
-		      >Instance details</summary
-		      ><p
-		      >Defined in <a href="#"
-			>Data.Functor.Product</a
-			></p
-		      > <div class="subs methods"
-		      ><p class="caption"
-			>Methods</p
 			><p class="src"
 			><a href="#"
-			  >liftCompare</a
-			  > :: (a -&gt; b -&gt; <a href="#" title="Data.Ord"
-			  >Ordering</a
-			  >) -&gt; <a href="#" title="Bug1004"
-			  >Product</a
-			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >liftShowList</a
+			  > :: (<a href="#" title="Data.Int"
+			  >Int</a
+			  > -&gt; a -&gt; <a href="#" title="Text.Show"
+			  >ShowS</a
+			  >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
+			  >ShowS</a
+			  >) -&gt; [<a href="#" title="Bug1004"
 			  >Product</a
-			  > f g b -&gt; <a href="#" title="Data.Ord"
-			  >Ordering</a
+			  > f g a] -&gt; <a href="#" title="Text.Show"
+			  >ShowS</a
 			  > <a href="#" class="selflink"
 			  >#</a
 			  ></p
@@ -842,7 +806,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:10"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Read1:9"
 		      ></span
 		      > (<a href="#" title="Data.Functor.Classes"
 		      >Read1</a
@@ -863,7 +827,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:Product:Read1:10"
+		  ><details id="i:id:Product:Read1:9"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -942,14 +906,14 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Show1:11"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Ord1:10"
 		      ></span
 		      > (<a href="#" title="Data.Functor.Classes"
-		      >Show1</a
+		      >Ord1</a
 		      > f, <a href="#" title="Data.Functor.Classes"
-		      >Show1</a
+		      >Ord1</a
 		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
-		      >Show1</a
+		      >Ord1</a
 		      > (<a href="#" title="Bug1004"
 		      >Product</a
 		      > f g)</span
@@ -963,7 +927,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:Product:Show1:11"
+		  ><details id="i:id:Product:Ord1:10"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -975,35 +939,67 @@
 			>Methods</p
 			><p class="src"
 			><a href="#"
-			  >liftShowsPrec</a
-			  > :: (<a href="#" title="Data.Int"
-			  >Int</a
-			  > -&gt; a -&gt; <a href="#" title="Text.Show"
-			  >ShowS</a
-			  >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
-			  >ShowS</a
-			  >) -&gt; <a href="#" title="Data.Int"
-			  >Int</a
-			  > -&gt; <a href="#" title="Bug1004"
+			  >liftCompare</a
+			  > :: (a -&gt; b -&gt; <a href="#" title="Data.Ord"
+			  >Ordering</a
+			  >) -&gt; <a href="#" title="Bug1004"
 			  >Product</a
-			  > f g a -&gt; <a href="#" title="Text.Show"
-			  >ShowS</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g b -&gt; <a href="#" title="Data.Ord"
+			  >Ordering</a
 			  > <a href="#" class="selflink"
 			  >#</a
 			  ></p
+			></div
+		      ></details
+		    ></td
+		  ></tr
+		><tr
+		><td class="src clearfix"
+		  ><span class="inst-left"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Eq1:11"
+		      ></span
+		      > (<a href="#" title="Data.Functor.Classes"
+		      >Eq1</a
+		      > f, <a href="#" title="Data.Functor.Classes"
+		      >Eq1</a
+		      > g) =&gt; <a href="#" title="Data.Functor.Classes"
+		      >Eq1</a
+		      > (<a href="#" title="Bug1004"
+		      >Product</a
+		      > f g)</span
+		    ></td
+		  ><td class="doc"
+		  ><p
+		    ><em
+		      >Since: base-4.9.0.0</em
+		      ></p
+		    ></td
+		  ></tr
+		><tr
+		><td colspan="2"
+		  ><details id="i:id:Product:Eq1:11"
+		    ><summary class="hide-when-js-enabled"
+		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>Data.Functor.Product</a
+			></p
+		      > <div class="subs methods"
+		      ><p class="caption"
+			>Methods</p
 			><p class="src"
 			><a href="#"
-			  >liftShowList</a
-			  > :: (<a href="#" title="Data.Int"
-			  >Int</a
-			  > -&gt; a -&gt; <a href="#" title="Text.Show"
-			  >ShowS</a
-			  >) -&gt; ([a] -&gt; <a href="#" title="Text.Show"
-			  >ShowS</a
-			  >) -&gt; [<a href="#" title="Bug1004"
+			  >liftEq</a
+			  > :: (a -&gt; b -&gt; <a href="#" title="Data.Bool"
+			  >Bool</a
+			  >) -&gt; <a href="#" title="Bug1004"
 			  >Product</a
-			  > f g a] -&gt; <a href="#" title="Text.Show"
-			  >ShowS</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g b -&gt; <a href="#" title="Data.Bool"
+			  >Bool</a
 			  > <a href="#" class="selflink"
 			  >#</a
 			  ></p
@@ -1088,14 +1084,14 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:13"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:13"
 		      ></span
-		      > (<a href="#" title="Control.Applicative"
-		      >Alternative</a
-		      > f, <a href="#" title="Control.Applicative"
-		      >Alternative</a
-		      > g) =&gt; <a href="#" title="Control.Applicative"
-		      >Alternative</a
+		      > (<a href="#" title="Control.Monad"
+		      >MonadPlus</a
+		      > f, <a href="#" title="Control.Monad"
+		      >MonadPlus</a
+		      > g) =&gt; <a href="#" title="Control.Monad"
+		      >MonadPlus</a
 		      > (<a href="#" title="Bug1004"
 		      >Product</a
 		      > f g)</span
@@ -1109,7 +1105,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:Product:Alternative:13"
+		  ><details id="i:id:Product:MonadPlus:13"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -1121,7 +1117,7 @@
 			>Methods</p
 			><p class="src"
 			><a href="#"
-			  >empty</a
+			  >mzero</a
 			  > :: <a href="#" title="Bug1004"
 			  >Product</a
 			  > f g a <a href="#" class="selflink"
@@ -1129,7 +1125,7 @@
 			  ></p
 			><p class="src"
 			><a href="#"
-			  >(&lt;|&gt;)</a
+			  >mplus</a
 			  > :: <a href="#" title="Bug1004"
 			  >Product</a
 			  > f g a -&gt; <a href="#" title="Bug1004"
@@ -1139,26 +1135,6 @@
 			  > f g a <a href="#" class="selflink"
 			  >#</a
 			  ></p
-			><p class="src"
-			><a href="#"
-			  >some</a
-			  > :: <a href="#" title="Bug1004"
-			  >Product</a
-			  > f g a -&gt; <a href="#" title="Bug1004"
-			  >Product</a
-			  > f g [a] <a href="#" class="selflink"
-			  >#</a
-			  ></p
-			><p class="src"
-			><a href="#"
-			  >many</a
-			  > :: <a href="#" title="Bug1004"
-			  >Product</a
-			  > f g a -&gt; <a href="#" title="Bug1004"
-			  >Product</a
-			  > f g [a] <a href="#" class="selflink"
-			  >#</a
-			  ></p
 			></div
 		      ></details
 		    ></td
@@ -1166,14 +1142,14 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:MonadPlus:14"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Alternative:14"
 		      ></span
-		      > (<a href="#" title="Control.Monad"
-		      >MonadPlus</a
-		      > f, <a href="#" title="Control.Monad"
-		      >MonadPlus</a
-		      > g) =&gt; <a href="#" title="Control.Monad"
-		      >MonadPlus</a
+		      > (<a href="#" title="Control.Applicative"
+		      >Alternative</a
+		      > f, <a href="#" title="Control.Applicative"
+		      >Alternative</a
+		      > g) =&gt; <a href="#" title="Control.Applicative"
+		      >Alternative</a
 		      > (<a href="#" title="Bug1004"
 		      >Product</a
 		      > f g)</span
@@ -1187,7 +1163,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:Product:MonadPlus:14"
+		  ><details id="i:id:Product:Alternative:14"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -1199,7 +1175,7 @@
 			>Methods</p
 			><p class="src"
 			><a href="#"
-			  >mzero</a
+			  >empty</a
 			  > :: <a href="#" title="Bug1004"
 			  >Product</a
 			  > f g a <a href="#" class="selflink"
@@ -1207,7 +1183,7 @@
 			  ></p
 			><p class="src"
 			><a href="#"
-			  >mplus</a
+			  >(&lt;|&gt;)</a
 			  > :: <a href="#" title="Bug1004"
 			  >Product</a
 			  > f g a -&gt; <a href="#" title="Bug1004"
@@ -1217,6 +1193,26 @@
 			  > f g a <a href="#" class="selflink"
 			  >#</a
 			  ></p
+			><p class="src"
+			><a href="#"
+			  >some</a
+			  > :: <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g [a] <a href="#" class="selflink"
+			  >#</a
+			  ></p
+			><p class="src"
+			><a href="#"
+			  >many</a
+			  > :: <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g [a] <a href="#" class="selflink"
+			  >#</a
+			  ></p
 			></div
 		      ></details
 		    ></td
@@ -1290,13 +1286,13 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Data:16"
 		      ></span
-		      > (<a href="#" title="Type.Reflection"
+		      > (<a href="#" title="Data.Typeable"
 		      >Typeable</a
-		      > a, <a href="#" title="Type.Reflection"
+		      > a, <a href="#" title="Data.Typeable"
 		      >Typeable</a
-		      > f, <a href="#" title="Type.Reflection"
+		      > f, <a href="#" title="Data.Typeable"
 		      >Typeable</a
-		      > g, <a href="#" title="Type.Reflection"
+		      > g, <a href="#" title="Data.Typeable"
 		      >Typeable</a
 		      > k, <a href="#" title="Data.Data"
 		      >Data</a
@@ -1382,7 +1378,7 @@
 			><p class="src"
 			><a href="#"
 			  >dataCast1</a
-			  > :: <a href="#" title="Type.Reflection"
+			  > :: <a href="#" title="Data.Typeable"
 			  >Typeable</a
 			  > t =&gt; (<span class="keyword"
 			  >forall</span
@@ -1398,7 +1394,7 @@
 			><p class="src"
 			><a href="#"
 			  >dataCast2</a
-			  > :: <a href="#" title="Type.Reflection"
+			  > :: <a href="#" title="Data.Typeable"
 			  >Typeable</a
 			  > t =&gt; (<span class="keyword"
 			  >forall</span
@@ -1820,12 +1816,8 @@
 		      >Product</a
 		      > f g a)</span
 		    ></td
-		  ><td class="doc"
-		  ><p
-		    ><em
-		      >Since: base-4.9.0.0</em
-		      ></p
-		    ></td
+		  ><td class="doc empty"
+		  >&nbsp;</td
 		  ></tr
 		><tr
 		><td colspan="2"
@@ -1888,7 +1880,149 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep1:21"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Semigroup:21"
+		      ></span
+		      > (<a href="#" title="Prelude"
+		      >Semigroup</a
+		      > (f a), <a href="#" title="Prelude"
+		      >Semigroup</a
+		      > (g a)) =&gt; <a href="#" title="Prelude"
+		      >Semigroup</a
+		      > (<a href="#" title="Bug1004"
+		      >Product</a
+		      > f g a)</span
+		    ></td
+		  ><td class="doc"
+		  ><p
+		    ><em
+		      >Since: base-4.16.0.0</em
+		      ></p
+		    ></td
+		  ></tr
+		><tr
+		><td colspan="2"
+		  ><details id="i:id:Product:Semigroup:21"
+		    ><summary class="hide-when-js-enabled"
+		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>Data.Functor.Product</a
+			></p
+		      > <div class="subs methods"
+		      ><p class="caption"
+			>Methods</p
+			><p class="src"
+			><a href="#"
+			  >(&lt;&gt;)</a
+			  > :: <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a <a href="#" class="selflink"
+			  >#</a
+			  ></p
+			><p class="src"
+			><a href="#"
+			  >sconcat</a
+			  > :: <a href="#" title="Data.List.NonEmpty"
+			  >NonEmpty</a
+			  > (<a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a) -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a <a href="#" class="selflink"
+			  >#</a
+			  ></p
+			><p class="src"
+			><a href="#"
+			  >stimes</a
+			  > :: <a href="#" title="Prelude"
+			  >Integral</a
+			  > b =&gt; b -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a <a href="#" class="selflink"
+			  >#</a
+			  ></p
+			></div
+		      ></details
+		    ></td
+		  ></tr
+		><tr
+		><td class="src clearfix"
+		  ><span class="inst-left"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Monoid:22"
+		      ></span
+		      > (<a href="#" title="Data.Monoid"
+		      >Monoid</a
+		      > (f a), <a href="#" title="Data.Monoid"
+		      >Monoid</a
+		      > (g a)) =&gt; <a href="#" title="Data.Monoid"
+		      >Monoid</a
+		      > (<a href="#" title="Bug1004"
+		      >Product</a
+		      > f g a)</span
+		    ></td
+		  ><td class="doc"
+		  ><p
+		    ><em
+		      >Since: base-4.16.0.0</em
+		      ></p
+		    ></td
+		  ></tr
+		><tr
+		><td colspan="2"
+		  ><details id="i:id:Product:Monoid:22"
+		    ><summary class="hide-when-js-enabled"
+		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>Data.Functor.Product</a
+			></p
+		      > <div class="subs methods"
+		      ><p class="caption"
+			>Methods</p
+			><p class="src"
+			><a href="#"
+			  >mempty</a
+			  > :: <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a <a href="#" class="selflink"
+			  >#</a
+			  ></p
+			><p class="src"
+			><a href="#"
+			  >mappend</a
+			  > :: <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a <a href="#" class="selflink"
+			  >#</a
+			  ></p
+			><p class="src"
+			><a href="#"
+			  >mconcat</a
+			  > :: [<a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a] -&gt; <a href="#" title="Bug1004"
+			  >Product</a
+			  > f g a <a href="#" class="selflink"
+			  >#</a
+			  ></p
+			></div
+		      ></details
+		    ></td
+		  ></tr
+		><tr
+		><td class="src clearfix"
+		  ><span class="inst-left"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep1:23"
 		      ></span
 		      > <span class="keyword"
 		      >type</span
@@ -1900,12 +2034,16 @@
 		      >Type</a
 		      >)</span
 		    ></td
-		  ><td class="doc empty"
-		  >&nbsp;</td
+		  ><td class="doc"
+		  ><p
+		    ><em
+		      >Since: base-4.9.0.0</em
+		      ></p
+		    ></td
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:Product:Rep1:21"
+		  ><details id="i:id:Product:Rep1:23"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -1980,7 +2118,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep:22"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Product:Rep:24"
 		      ></span
 		      > <span class="keyword"
 		      >type</span
@@ -1990,12 +2128,16 @@
 		      >Product</a
 		      > f g a)</span
 		    ></td
-		  ><td class="doc empty"
-		  >&nbsp;</td
+		  ><td class="doc"
+		  ><p
+		    ><em
+		      >Since: base-4.9.0.0</em
+		      ></p
+		    ></td
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:Product:Rep:22"
+		  ><details id="i:id:Product:Rep:24"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
diff --git a/html-test/ref/Bug1033.html b/html-test/ref/Bug1033.html
index 736fb2ad..36254447 100644
--- a/html-test/ref/Bug1033.html
+++ b/html-test/ref/Bug1033.html
@@ -88,10 +88,8 @@
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
-		  ><td class="doc"
-		  ><p
-		    >This does some generic foos.</p
-		    ></td
+		  ><td class="doc empty"
+		  >&nbsp;</td
 		  ></tr
 		><tr
 		><td colspan="2"
@@ -166,8 +164,10 @@
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
-		  ><td class="doc empty"
-		  >&nbsp;</td
+		  ><td class="doc"
+		  ><p
+		    >This does some generic foos.</p
+		    ></td
 		  ></tr
 		><tr
 		><td colspan="2"
diff --git a/html-test/ref/Bug1035.html b/html-test/ref/Bug1035.html
index 5e4d6f82..6594064e 100644
--- a/html-test/ref/Bug1035.html
+++ b/html-test/ref/Bug1035.html
@@ -132,7 +132,7 @@
 	  ><p
 	    >A link to <code
 	      ><a href="#" title="Bug1035"
-		>Bar</a
+		>Foo</a
 		></code
 	      ></p
 	    ></div
diff --git a/html-test/ref/Bug1050.html b/html-test/ref/Bug1050.html
index b8b8ff0f..da7ae1d2 100644
--- a/html-test/ref/Bug1050.html
+++ b/html-test/ref/Bug1050.html
@@ -95,7 +95,7 @@
 	    >forall</span
 	    > {k} {f :: <span class="keyword"
 	    >forall</span
-	    > k1. k1 -&gt; <a href="#" title="Data.Kind"
+	    > k. k -&gt; <a href="#" title="Data.Kind"
 	    >Type</a
 	    >} {a :: k}. f a -&gt; <a href="#" title="Bug1050"
 	    >T</a
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 59faf609..65ec1cae 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -50,14 +50,14 @@
 	  ><li class="src short"
 	    ><span class="keyword"
 	      >type family</span
-	      > (a :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
+	      > (a :: <a href="#" title="Numeric.Natural"
+	      >Natural</a
 	      >) <a href="#"
 	      >+</a
-	      > (b :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
-	      >) :: <a href="#" title="GHC.TypeNats"
-	      >Nat</a
+	      > (b :: <a href="#" title="Numeric.Natural"
+	      >Natural</a
+	      >) :: <a href="#" title="Numeric.Natural"
+	      >Natural</a
 	      > <span class="keyword"
 	      >where ...</span
 	      ></li
@@ -71,14 +71,14 @@
 	><p class="src"
 	  ><span class="keyword"
 	    >type family</span
-	    > (a :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
+	    > (a :: <a href="#" title="Numeric.Natural"
+	    >Natural</a
 	    >) <a id="t:-43-" class="def"
 	    >+</a
-	    > (b :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
-	    >) :: <a href="#" title="GHC.TypeNats"
-	    >Nat</a
+	    > (b :: <a href="#" title="Numeric.Natural"
+	    >Natural</a
+	    >) :: <a href="#" title="Numeric.Natural"
+	    >Natural</a
 	    > <span class="keyword"
 	    >where ...</span
 	    > <span class="fixity"
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index dc2128ee..1ac40ae4 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -114,12 +114,8 @@
 		      >Type</a
 		      >)</span
 		    ></td
-		  ><td class="doc"
-		  ><p
-		    ><em
-		      >Since: base-4.7.0.0</em
-		      ></p
-		    ></td
+		  ><td class="doc empty"
+		  >&nbsp;</td
 		  ></tr
 		><tr
 		><td colspan="2"
@@ -418,12 +414,8 @@
 		      >WrappedArrow</a
 		      > a b c)</span
 		    ></td
-		  ><td class="doc"
-		  ><p
-		    ><em
-		      >Since: base-4.7.0.0</em
-		      ></p
-		    ></td
+		  ><td class="doc empty"
+		  >&nbsp;</td
 		  ></tr
 		><tr
 		><td colspan="2"
@@ -500,8 +492,12 @@
 		      >Type</a
 		      >)</span
 		    ></td
-		  ><td class="doc empty"
-		  >&nbsp;</td
+		  ><td class="doc"
+		  ><p
+		    ><em
+		      >Since: base-4.7.0.0</em
+		      ></p
+		    ></td
 		  ></tr
 		><tr
 		><td colspan="2"
@@ -568,8 +564,12 @@
 		      >WrappedArrow</a
 		      > a b c)</span
 		    ></td
-		  ><td class="doc empty"
-		  >&nbsp;</td
+		  ><td class="doc"
+		  ><p
+		    ><em
+		      >Since: base-4.7.0.0</em
+		      ></p
+		    ></td
 		  ></tr
 		><tr
 		><td colspan="2"
diff --git a/html-test/ref/Bug574.html b/html-test/ref/Bug574.html
index 3c7cf13f..e2024f47 100644
--- a/html-test/ref/Bug574.html
+++ b/html-test/ref/Bug574.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html
index 2434a857..8814129d 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index 73890845..4d6fe69b 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -89,7 +89,7 @@
 	><p class="src"
 	  ><a id="v:-45--45--62-" class="def"
 	    >(--&gt;)</a
-	    > :: p1 -&gt; p2 -&gt; <a href="#" title="Bug8"
+	    > :: p -&gt; p -&gt; <a href="#" title="Bug8"
 	    >Typ</a
 	    > <span class="fixity"
 	    >infix 9</span
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index fb6518af..af1a0265 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
@@ -52,7 +52,7 @@
 	      >data</span
 	      > <a href="#"
 	      >Vec</a
-	      > :: <a href="#" title="GHC.TypeNats"
+	      > :: <a href="#" title="GHC.TypeLits"
 	      >Nat</a
 	      > -&gt; * -&gt; * <span class="keyword"
 	      >where</span
@@ -82,7 +82,7 @@
 	      >data</span
 	      > <a href="#"
 	      >RTree</a
-	      > :: <a href="#" title="GHC.TypeNats"
+	      > :: <a href="#" title="GHC.TypeLits"
 	      >Nat</a
 	      > -&gt; * -&gt; * <span class="keyword"
 	      >where</span
@@ -123,7 +123,7 @@
 	    >data</span
 	    > <a id="t:Vec" class="def"
 	    >Vec</a
-	    > :: <a href="#" title="GHC.TypeNats"
+	    > :: <a href="#" title="GHC.TypeLits"
 	    >Nat</a
 	    > -&gt; * -&gt; * <span class="keyword"
 	    >where</span
@@ -146,7 +146,7 @@
 		> subscript starting from 0 and
    ending at <code
 		><code
-		  ><a href="#" title="Data.Foldable"
+		  ><a href="#" title="Data.List"
 		    >length</a
 		    ></code
 		  > - 1</code
@@ -285,7 +285,7 @@
 	    >data</span
 	    > <a id="t:RTree" class="def"
 	    >RTree</a
-	    > :: <a href="#" title="GHC.TypeNats"
+	    > :: <a href="#" title="GHC.TypeLits"
 	    >Nat</a
 	    > -&gt; * -&gt; * <span class="keyword"
 	    >where</span
diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html
index b680fe66..faca9016 100644
--- a/html-test/ref/BundledPatterns2.html
+++ b/html-test/ref/BundledPatterns2.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
@@ -52,7 +52,7 @@
 	      >data</span
 	      > <a href="#"
 	      >Vec</a
-	      > :: <a href="#" title="GHC.TypeNats"
+	      > :: <a href="#" title="GHC.TypeLits"
 	      >Nat</a
 	      > -&gt; * -&gt; * <span class="keyword"
 	      >where</span
@@ -84,7 +84,7 @@
 	      >data</span
 	      > <a href="#"
 	      >RTree</a
-	      > :: <a href="#" title="GHC.TypeNats"
+	      > :: <a href="#" title="GHC.TypeLits"
 	      >Nat</a
 	      > -&gt; * -&gt; * <span class="keyword"
 	      >where</span
@@ -125,7 +125,7 @@
 	    >data</span
 	    > <a id="t:Vec" class="def"
 	    >Vec</a
-	    > :: <a href="#" title="GHC.TypeNats"
+	    > :: <a href="#" title="GHC.TypeLits"
 	    >Nat</a
 	    > -&gt; * -&gt; * <span class="keyword"
 	    >where</span
@@ -148,7 +148,7 @@
 		> subscript starting from 0 and
    ending at <code
 		><code
-		  ><a href="#" title="Data.Foldable"
+		  ><a href="#" title="Data.List"
 		    >length</a
 		    ></code
 		  > - 1</code
@@ -283,7 +283,7 @@
 	    >data</span
 	    > <a id="t:RTree" class="def"
 	    >RTree</a
-	    > :: <a href="#" title="GHC.TypeNats"
+	    > :: <a href="#" title="GHC.TypeLits"
 	    >Nat</a
 	    > -&gt; * -&gt; * <span class="keyword"
 	    >where</span
diff --git a/html-test/ref/Identifiers.html b/html-test/ref/Identifiers.html
index c89e7434..bd0f610e 100644
--- a/html-test/ref/Identifiers.html
+++ b/html-test/ref/Identifiers.html
@@ -140,7 +140,7 @@
 		      >++</a
 		      ></code
 		    >, <code
-		    ><a href="#" title="Data.Foldable"
+		    ><a href="#" title="Data.List"
 		      >elem</a
 		      ></code
 		    ></li
@@ -162,7 +162,7 @@
 		    >, <code
 		    >++</code
 		    >, <code
-		    ><a href="#" title="Data.Foldable"
+		    ><a href="#" title="Data.List"
 		      >elem</a
 		      ></code
 		    >, <code
@@ -231,7 +231,7 @@
 		><li
 		  >Unqualified: <code
 		    >1 <code
-		      ><a href="#" title="Data.Foldable"
+		      ><a href="#" title="Data.List"
 			>`elem`</a
 			></code
 		      > [-3..3]</code
@@ -239,14 +239,14 @@
 		  ><li
 		  >Qualified: <code
 		    >1 <code
-		      ><a href="#" title="Data.Foldable"
+		      ><a href="#" title="Data.List"
 			>`elem`</a
 			></code
 		      > [-3..3]</code
 		    ></li
 		  ><li
 		  >Namespaced: <code
-		    ><a href="#" title="Data.Foldable"
+		    ><a href="#" title="Data.List"
 		      >`elem`</a
 		      ></code
 		    >, <code
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index ccaffdad..f89e009e 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -52,8 +52,6 @@
 	      >data</span
 	      > <a href="#"
 	      >Foo</a
-	      > = <a href="#"
-	      >Bar</a
 	      ></li
 	    ><li class="src short"
 	    ><a href="#"
@@ -61,12 +59,6 @@
 	      > :: <a href="#" title="Data.Int"
 	      >Int</a
 	      ></li
-	    ><li class="src short"
-	    ><a href="#"
-	      >bar</a
-	      > :: <a href="#" title="Data.Int"
-	      >Int</a
-	      ></li
 	    ></ul
 	  ></details
 	></div
@@ -86,22 +78,6 @@
 	  ><p
 	    >documentation for Foo</p
 	    ></div
-	  ><div class="subs constructors"
-	  ><p class="caption"
-	    >Constructors</p
-	    ><table
-	    ><tr
-	      ><td class="src"
-		><a id="v:Bar" class="def"
-		  >Bar</a
-		  ></td
-		><td class="doc"
-		><p
-		  >Documentation for Bar</p
-		  ></td
-		></tr
-	      ></table
-	    ></div
 	  ></div
 	><div class="top"
 	><p class="src"
@@ -117,20 +93,6 @@
 	    >documentation for foo</p
 	    ></div
 	  ></div
-	><div class="top"
-	><p class="src"
-	  ><a id="v:bar" class="def"
-	    >bar</a
-	    > :: <a href="#" title="Data.Int"
-	    >Int</a
-	    > <a href="#" class="selflink"
-	    >#</a
-	    ></p
-	  ><div class="doc"
-	  ><p
-	    >documentation for bar</p
-	    ></div
-	  ></div
 	></div
       ></div
     ></body
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 2eb2cda3..e3c7b6e7 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index d828ea1d..1ea51099 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index 8ef49ced..d44d5741 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index f59629a2..1b47e640 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index 3277c468..8391431e 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index 9d04e8c5..bd596be0 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -36,7 +36,7 @@
 	  ><th
 	    >Safe Haskell</th
 	    ><td
-	    >None</td
+	    >Safe-Inferred</td
 	    ></tr
 	  ></table
 	><p class="caption"
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 998b6d8c..7ca50972 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -222,37 +222,7 @@
 	      ><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1"
-		      ></span
-		      > '<a href="#" title="TypeFamilies"
-		      >XX</a
-		      > <a href="#" title="TypeFamilies"
-		      >&gt;&lt;</a
-		      > '<a href="#" title="TypeFamilies"
-		      >XXX</a
-		      ></span
-		    > <a href="#" class="selflink"
-		    >#</a
-		    ></td
-		  ><td class="doc empty"
-		  >&nbsp;</td
-		  ></tr
-		><tr
-		><td colspan="2"
-		  ><details id="i:id:X:-62--60-:1"
-		    ><summary class="hide-when-js-enabled"
-		      >Instance details</summary
-		      ><p
-		      >Defined in <a href="#"
-			>TypeFamilies</a
-			></p
-		      ></details
-		    ></td
-		  ></tr
-		><tr
-		><td class="src clearfix"
-		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:2"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:1"
 		      ></span
 		      > <a href="#" title="TypeFamilies"
 		      >Assoc</a
@@ -269,7 +239,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:Assoc:2"
+		  ><details id="i:id:X:Assoc:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -306,7 +276,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:3"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:2"
 		      ></span
 		      > <a href="#" title="TypeFamilies"
 		      >Test</a
@@ -323,7 +293,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:Test:3"
+		  ><details id="i:id:X:Test:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -336,68 +306,56 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:3"
 		      ></span
-		      > <span class="keyword"
-		      >type</span
-		      > <a href="#" title="TypeFamilies2"
-		      >Foo</a
+		      > '<a href="#" title="TypeFamilies"
+		      >XX</a
 		      > <a href="#" title="TypeFamilies"
-		      >X</a
+		      >&gt;&lt;</a
+		      > '<a href="#" title="TypeFamilies"
+		      >XXX</a
 		      ></span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
-		  ><td class="doc"
-		  ><p
-		    >External instance</p
-		    ></td
+		  ><td class="doc empty"
+		  >&nbsp;</td
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:Foo:4"
+		  ><details id="i:id:X:-62--60-:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
 		      >Defined in <a href="#"
 			>TypeFamilies</a
 			></p
-		      > <div class="src"
-		      ><span class="keyword"
-			>type</span
-			> <a href="#" title="TypeFamilies2"
-			>Foo</a
-			> <a href="#" title="TypeFamilies"
-			>X</a
-			> = <a href="#" title="TypeFamilies"
-			>Y</a
-			></div
 		      ></details
 		    ></td
 		  ></tr
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:5"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:4"
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > '<a href="#" title="TypeFamilies"
-		      >XXX</a
+		      > <a href="#" title="TypeFamilies2"
+		      >Foo</a
 		      > <a href="#" title="TypeFamilies"
-		      >&lt;&gt;</a
-		      > '<a href="#" title="TypeFamilies"
-		      >XX</a
+		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
-		  ><td class="doc empty"
-		  >&nbsp;</td
+		  ><td class="doc"
+		  ><p
+		    >External instance</p
+		    ></td
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:-60--62-:5"
+		  ><details id="i:id:X:Foo:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -407,14 +365,12 @@
 		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
-			> '<a href="#" title="TypeFamilies"
-			>XXX</a
+			> <a href="#" title="TypeFamilies2"
+			>Foo</a
 			> <a href="#" title="TypeFamilies"
-			>&lt;&gt;</a
-			> '<a href="#" title="TypeFamilies"
-			>XX</a
-			> = '<a href="#" title="TypeFamilies"
 			>X</a
+			> = <a href="#" title="TypeFamilies"
+			>Y</a
 			></div
 		      ></details
 		    ></td
@@ -422,7 +378,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:6"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocD:5"
 		      ></span
 		      > <span class="keyword"
 		      >data</span
@@ -439,7 +395,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:AssocD:6"
+		  ><details id="i:id:X:AssocD:5"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -462,7 +418,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:7"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:AssocT:6"
 		      ></span
 		      > <span class="keyword"
 		      >type</span
@@ -479,7 +435,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:AssocT:7"
+		  ><details id="i:id:X:AssocT:6"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -506,7 +462,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:8"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Bat:7"
 		      ></span
 		      > <span class="keyword"
 		      >data</span
@@ -525,7 +481,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:Bat:8"
+		  ><details id="i:id:X:Bat:7"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -572,7 +528,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:9"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Foo:8"
 		      ></span
 		      > <span class="keyword"
 		      >type</span
@@ -591,7 +547,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:Foo:9"
+		  ><details id="i:id:X:Foo:8"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -614,7 +570,7 @@
 		><tr
 		><td class="src clearfix"
 		  ><span class="inst-left"
-		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:9"
 		      ></span
 		      > <span class="keyword"
 		      >type</span
@@ -633,7 +589,7 @@
 		  ></tr
 		><tr
 		><td colspan="2"
-		  ><details id="i:id:X:-60--62-:10"
+		  ><details id="i:id:X:-60--62-:9"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
 		      ><p
@@ -655,6 +611,50 @@
 		      ></details
 		    ></td
 		  ></tr
+		><tr
+		><td class="src clearfix"
+		  ><span class="inst-left"
+		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-60--62-:10"
+		      ></span
+		      > <span class="keyword"
+		      >type</span
+		      > '<a href="#" title="TypeFamilies"
+		      >XXX</a
+		      > <a href="#" title="TypeFamilies"
+		      >&lt;&gt;</a
+		      > '<a href="#" title="TypeFamilies"
+		      >XX</a
+		      ></span
+		    > <a href="#" class="selflink"
+		    >#</a
+		    ></td
+		  ><td class="doc empty"
+		  >&nbsp;</td
+		  ></tr
+		><tr
+		><td colspan="2"
+		  ><details id="i:id:X:-60--62-:10"
+		    ><summary class="hide-when-js-enabled"
+		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
+		      ><span class="keyword"
+			>type</span
+			> '<a href="#" title="TypeFamilies"
+			>XXX</a
+			> <a href="#" title="TypeFamilies"
+			>&lt;&gt;</a
+			> '<a href="#" title="TypeFamilies"
+			>XX</a
+			> = '<a href="#" title="TypeFamilies"
+			>X</a
+			></div
+		      ></details
+		    ></td
+		  ></tr
 		></table
 	      ></details
 	    ></div
@@ -1738,13 +1738,13 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > '<a href="#" title="TypeFamilies"
-		      >XXX</a
+		      > <a href="#" title="TypeFamilies"
+		      >Y</a
 		      > <a href="#" title="TypeFamilies"
 		      >&lt;&gt;</a
-		      > '<a href="#" title="TypeFamilies"
-		      >XX</a
-		      ></span
+		      > (a :: <a href="#" title="Data.Kind"
+		      >Type</a
+		      >)</span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -1763,15 +1763,13 @@
 		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
-			> '<a href="#" title="TypeFamilies"
-			>XXX</a
+			> <a href="#" title="TypeFamilies"
+			>Y</a
 			> <a href="#" title="TypeFamilies"
 			>&lt;&gt;</a
-			> '<a href="#" title="TypeFamilies"
-			>XX</a
-			> = '<a href="#" title="TypeFamilies"
-			>X</a
-			></div
+			> (a :: <a href="#" title="Data.Kind"
+			>Type</a
+			>) = a</div
 		      ></details
 		    ></td
 		  ></tr
@@ -1783,7 +1781,7 @@
 		      > <span class="keyword"
 		      >type</span
 		      > <a href="#" title="TypeFamilies"
-		      >Y</a
+		      >X</a
 		      > <a href="#" title="TypeFamilies"
 		      >&lt;&gt;</a
 		      > (a :: <a href="#" title="Data.Kind"
@@ -1808,12 +1806,14 @@
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
-			>Y</a
+			>X</a
 			> <a href="#" title="TypeFamilies"
 			>&lt;&gt;</a
 			> (a :: <a href="#" title="Data.Kind"
 			>Type</a
-			>) = a</div
+			>) = <a href="#" title="TypeFamilies"
+			>X</a
+			></div
 		      ></details
 		    ></td
 		  ></tr
@@ -1824,13 +1824,13 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#" title="TypeFamilies"
-		      >X</a
+		      > '<a href="#" title="TypeFamilies"
+		      >XXX</a
 		      > <a href="#" title="TypeFamilies"
 		      >&lt;&gt;</a
-		      > (a :: <a href="#" title="Data.Kind"
-		      >Type</a
-		      >)</span
+		      > '<a href="#" title="TypeFamilies"
+		      >XX</a
+		      ></span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -1849,13 +1849,13 @@
 		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#" title="TypeFamilies"
-			>X</a
+			> '<a href="#" title="TypeFamilies"
+			>XXX</a
 			> <a href="#" title="TypeFamilies"
 			>&lt;&gt;</a
-			> (a :: <a href="#" title="Data.Kind"
-			>Type</a
-			>) = <a href="#" title="TypeFamilies"
+			> '<a href="#" title="TypeFamilies"
+			>XX</a
+			> = '<a href="#" title="TypeFamilies"
 			>X</a
 			></div
 		      ></details