Make testsuite work with haddock-1.19.0 release (#766)

1 files changed, 221 insertions, 323 deletions

diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index dcb5a92a..53c45b45 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -110,7 +110,7 @@
 	      >data family</span
 	      > <a href="#"
 	      >Bat</a
-	      > (a :: k) :: <a href="#"
+	      > (a :: k) :: <a href="#" title="Data.Kind"
 	      >*</a
 	      ></li
 	    ><li class="src short"
@@ -126,7 +126,7 @@
 		  >data</span
 		  > <a href="#"
 		  >AssocD</a
-		  > a :: <a href="#"
+		  > a :: <a href="#" title="Data.Kind"
 		  >*</a
 		  ></li
 		><li
@@ -134,7 +134,7 @@
 		  >type</span
 		  > <a href="#"
 		  >AssocT</a
-		  > a :: <a href="#"
+		  > a :: <a href="#" title="Data.Kind"
 		  >*</a
 		  ></li
 		></ul
@@ -224,13 +224,11 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1"
 		      ></span
-		      > <a href="#"
-		      >(&gt;&lt;)</a
-		      > <a href="#"
-		      >X</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >XX</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
+		      >&gt;&lt;</a
+		      > <a href="#" title="TypeFamilies"
 		      >XXX</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -252,11 +250,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Assoc:2"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Assoc</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -278,13 +274,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >data</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocD</a
-			  > <a href="#"
-			  >X</a
-			  > (a :: <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >X</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -292,13 +286,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >type</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocT</a
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >X</a
-			  > (a :: <a href="#"
-			  >X</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -312,11 +304,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:Test:3"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Test</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -342,9 +332,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies2"
 		      >Foo</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -361,11 +351,11 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies2"
 			>Foo</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>Y</a
 			></div
 		      ></details
@@ -378,13 +368,11 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
-		      >(&lt;&gt;)</a
-		      > <a href="#"
-		      >X</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >XXX</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
+		      >&lt;&gt;</a
+		      > <a href="#" title="TypeFamilies"
 		      >XX</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -401,15 +389,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
-			>(&lt;&gt;)</a
-			> <a href="#"
-			>X</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>XXX</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
+			>&lt;&gt;</a
+			> <a href="#" title="TypeFamilies"
 			>XX</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>X</a
 			></div
 		      ></details
@@ -422,11 +408,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >AssocD</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -443,11 +427,9 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>AssocD</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
 			> = <a id="v:AssocX" class="def"
 			>AssocX</a
@@ -462,11 +444,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >AssocT</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -483,19 +463,17 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>AssocT</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
-			> = <a href="#"
+			> = (<a href="#" title="TypeFamilies"
 			>Foo</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
-			></div
+			> :: <a href="#" title="Data.Kind"
+			>*</a
+			>)</div
 		      ></details
 		    ></td
 		  ></tr
@@ -506,11 +484,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Bat</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -529,17 +505,15 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Bat</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
 			> <ul class="inst"
 			><li class="inst"
 			  >= <a id="v:BatX" class="def"
 			    >BatX</a
-			    > <a href="#"
+			    > <a href="#" title="TypeFamilies"
 			    >X</a
 			    ></li
 			  ><li class="inst"
@@ -549,13 +523,13 @@
 			    ><li
 			      ><a id="v:aaa" class="def"
 				>aaa</a
-				> :: <a href="#"
+				> :: <a href="#" title="TypeFamilies"
 				>X</a
 				></li
 			      ><li
 			      ><a id="v:bbb" class="def"
 				>bbb</a
-				> :: <a href="#"
+				> :: <a href="#" title="TypeFamilies"
 				>Y</a
 				></li
 			      ></ul
@@ -572,11 +546,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Foo</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -593,13 +565,11 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Foo</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>Y</a
 			></div
 		      ></details
@@ -612,13 +582,13 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
-		      >(&lt;&gt;)</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
-		      > a</span
+		      > <a href="#" title="TypeFamilies"
+		      >&lt;&gt;</a
+		      > (a :: <a href="#" title="Data.Kind"
+		      >*</a
+		      >)</span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -633,13 +603,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
-			>(&lt;&gt;)</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
-			> a = <a href="#"
+			> <a href="#" title="TypeFamilies"
+			>&lt;&gt;</a
+			> (a :: <a href="#" title="Data.Kind"
+			>*</a
+			>) = <a href="#" title="TypeFamilies"
 			>X</a
 			></div
 		      ></details
@@ -672,11 +642,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Y:Assoc:1"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Assoc</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -698,13 +666,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >data</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocD</a
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >Y</a
-			  > (a :: <a href="#"
-			  >Y</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -712,13 +678,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >type</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocT</a
-			  > <a href="#"
-			  >Y</a
-			  > (a :: <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >Y</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -732,11 +696,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Y:Test:2"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Test</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -762,9 +724,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies2"
 		      >Bar</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -781,9 +743,9 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies2"
 			>Bar</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
 			></div
 		      ></details
@@ -796,11 +758,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >AssocD</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -817,11 +777,9 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>AssocD</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
 			> = <a id="v:AssocY" class="def"
 			>AssocY</a
@@ -836,11 +794,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >AssocT</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -857,17 +813,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>AssocT</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>Bat</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
 			></div
 		      ></details
@@ -880,11 +832,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Bat</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -903,15 +853,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Bat</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
 			> = <a id="v:BatY" class="def"
 			>BatY</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
 			></div
 		      ></details
@@ -924,11 +872,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Foo</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -945,13 +891,11 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Foo</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>X</a
 			></div
 		      ></details
@@ -964,13 +908,13 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
-		      >(&lt;&gt;)</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
-		      > a</span
+		      > <a href="#" title="TypeFamilies"
+		      >&lt;&gt;</a
+		      > (a :: <a href="#" title="Data.Kind"
+		      >*</a
+		      >)</span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -985,13 +929,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
-			>(&lt;&gt;)</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
-			> a = a</div
+			> <a href="#" title="TypeFamilies"
+			>&lt;&gt;</a
+			> (a :: <a href="#" title="Data.Kind"
+			>*</a
+			>) = a</div
 		      ></details
 		    ></td
 		  ></tr
@@ -1046,11 +990,11 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Bat</a
-		      > <a href="#"
+		      > (z :: <a href="#" title="TypeFamilies"
 		      >Z</a
-		      ></span
+		      >)</span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -1067,31 +1011,27 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Bat</a
-			> <a href="#"
+			> (z :: <a href="#" title="TypeFamilies"
 			>Z</a
-			> <span class="keyword"
+			>) <span class="keyword"
 			>where</span
 			><ul class="inst"
 			><li class="inst"
 			  ><a id="v:BatZ1" class="def"
 			    >BatZ1</a
-			    > :: <a href="#"
+			    > :: <a href="#" title="TypeFamilies"
 			    >Bat</a
-			    > <a href="#"
-			    >Z</a
-			    > <a href="#"
+			    > <a href="#" title="TypeFamilies"
 			    >ZA</a
 			    ></li
 			  ><li class="inst"
 			  ><a id="v:BatZ2" class="def"
 			    >BatZ2</a
-			    > :: <a href="#"
+			    > :: <a href="#" title="TypeFamilies"
 			    >Bat</a
-			    > <a href="#"
-			    >Z</a
-			    > <a href="#"
+			    > <a href="#" title="TypeFamilies"
 			    >ZB</a
 			    ></li
 			  ></ul
@@ -1126,11 +1066,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Test:Test:1"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Test</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1154,11 +1092,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Test:Test:2"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Test</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1206,11 +1142,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Foo</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1227,13 +1161,11 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Foo</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>X</a
 			></div
 		      ></details
@@ -1246,11 +1178,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Foo</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1267,13 +1197,11 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Foo</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>Y</a
 			></div
 		      ></details
@@ -1289,7 +1217,7 @@
 	    >data family</span
 	    > <a id="t:Bat" class="def"
 	    >Bat</a
-	    > (a :: k) :: <a href="#"
+	    > (a :: k) :: <a href="#" title="Data.Kind"
 	    >*</a
 	    > <a href="#" class="selflink"
 	    >#</a
@@ -1310,11 +1238,11 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Bat</a
-		      > <a href="#"
+		      > (z :: <a href="#" title="TypeFamilies"
 		      >Z</a
-		      ></span
+		      >)</span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -1331,31 +1259,27 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Bat</a
-			> <a href="#"
+			> (z :: <a href="#" title="TypeFamilies"
 			>Z</a
-			> <span class="keyword"
+			>) <span class="keyword"
 			>where</span
 			><ul class="inst"
 			><li class="inst"
 			  ><a id="v:BatZ1" class="def"
 			    >BatZ1</a
-			    > :: <a href="#"
+			    > :: <a href="#" title="TypeFamilies"
 			    >Bat</a
-			    > <a href="#"
-			    >Z</a
-			    > <a href="#"
+			    > <a href="#" title="TypeFamilies"
 			    >ZA</a
 			    ></li
 			  ><li class="inst"
 			  ><a id="v:BatZ2" class="def"
 			    >BatZ2</a
-			    > :: <a href="#"
+			    > :: <a href="#" title="TypeFamilies"
 			    >Bat</a
-			    > <a href="#"
-			    >Z</a
-			    > <a href="#"
+			    > <a href="#" title="TypeFamilies"
 			    >ZB</a
 			    ></li
 			  ></ul
@@ -1370,11 +1294,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Bat</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1393,15 +1315,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Bat</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
 			> = <a id="v:BatY" class="def"
 			>BatY</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
 			></div
 		      ></details
@@ -1414,11 +1334,9 @@
 		      ></span
 		      > <span class="keyword"
 		      >data</span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Bat</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1437,17 +1355,15 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>data</span
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Bat</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
 			> <ul class="inst"
 			><li class="inst"
 			  >= <a id="v:BatX" class="def"
 			    >BatX</a
-			    > <a href="#"
+			    > <a href="#" title="TypeFamilies"
 			    >X</a
 			    ></li
 			  ><li class="inst"
@@ -1457,13 +1373,13 @@
 			    ><li
 			      ><a id="v:aaa" class="def"
 				>aaa</a
-				> :: <a href="#"
+				> :: <a href="#" title="TypeFamilies"
 				>X</a
 				></li
 			      ><li
 			      ><a id="v:bbb" class="def"
 				>bbb</a
-				> :: <a href="#"
+				> :: <a href="#" title="TypeFamilies"
 				>Y</a
 				></li
 			      ></ul
@@ -1498,7 +1414,7 @@
 	      >data</span
 	      > <a id="t:AssocD" class="def"
 	      >AssocD</a
-	      > a :: <a href="#"
+	      > a :: <a href="#" title="Data.Kind"
 	      >*</a
 	      > <a href="#" class="selflink"
 	      >#</a
@@ -1512,7 +1428,7 @@
 	      >type</span
 	      > <a id="t:AssocT" class="def"
 	      >AssocT</a
-	      > a :: <a href="#"
+	      > a :: <a href="#" title="Data.Kind"
 	      >*</a
 	      > <a href="#" class="selflink"
 	      >#</a
@@ -1532,11 +1448,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Assoc:Assoc:1"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Assoc</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1558,13 +1472,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >data</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocD</a
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >Y</a
-			  > (a :: <a href="#"
-			  >Y</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -1572,13 +1484,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >type</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocT</a
-			  > <a href="#"
-			  >Y</a
-			  > (a :: <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >Y</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -1592,11 +1502,9 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:Assoc:Assoc:2"
 		      ></span
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Assoc</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1618,13 +1526,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >data</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocD</a
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >X</a
-			  > (a :: <a href="#"
-			  >X</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -1632,13 +1538,11 @@
 			><p class="src"
 			><span class="keyword"
 			  >type</span
-			  > <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >AssocT</a
-			  > <a href="#"
-			  >X</a
-			  > (a :: <a href="#"
+			  > <a href="#" title="TypeFamilies"
 			  >X</a
-			  >) :: <a href="#"
+			  > :: <a href="#" title="Data.Kind"
 			  >*</a
 			  > <a href="#" class="selflink"
 			  >#</a
@@ -1672,11 +1576,11 @@
 	    ><table
 	    ><tr
 	      ><td class="src"
-		><a href="#"
+		><a href="#" title="TypeFamilies"
 		  >Bar</a
-		  > <a href="#"
+		  > <a href="#" title="TypeFamilies"
 		  >X</a
-		  > = <a href="#"
+		  > = <a href="#" title="TypeFamilies"
 		  >X</a
 		  ></td
 		><td class="doc empty"
@@ -1684,9 +1588,9 @@
 		></tr
 	      ><tr
 	      ><td class="src"
-		><a href="#"
+		><a href="#" title="TypeFamilies"
 		  >Bar</a
-		  > y = <a href="#"
+		  > y = <a href="#" title="TypeFamilies"
 		  >Y</a
 		  ></td
 		><td class="doc empty"
@@ -1716,13 +1620,11 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
-		      >(&lt;&gt;)</a
-		      > <a href="#"
-		      >X</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >XXX</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
+		      >&lt;&gt;</a
+		      > <a href="#" title="TypeFamilies"
 		      >XX</a
 		      ></span
 		    > <a href="#" class="selflink"
@@ -1739,15 +1641,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
-			>(&lt;&gt;)</a
-			> <a href="#"
-			>X</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>XXX</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
+			>&lt;&gt;</a
+			> <a href="#" title="TypeFamilies"
 			>XX</a
-			> = <a href="#"
+			> = <a href="#" title="TypeFamilies"
 			>X</a
 			></div
 		      ></details
@@ -1760,13 +1660,13 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
-		      >(&lt;&gt;)</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >Y</a
-		      > a</span
+		      > <a href="#" title="TypeFamilies"
+		      >&lt;&gt;</a
+		      > (a :: <a href="#" title="Data.Kind"
+		      >*</a
+		      >)</span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -1781,13 +1681,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
-			>(&lt;&gt;)</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>Y</a
-			> a = a</div
+			> <a href="#" title="TypeFamilies"
+			>&lt;&gt;</a
+			> (a :: <a href="#" title="Data.Kind"
+			>*</a
+			>) = a</div
 		      ></details
 		    ></td
 		  ></tr
@@ -1798,13 +1698,13 @@
 		      ></span
 		      > <span class="keyword"
 		      >type</span
-		      > <a href="#"
-		      >(&lt;&gt;)</a
-		      > <a href="#"
-		      >*</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >X</a
-		      > a</span
+		      > <a href="#" title="TypeFamilies"
+		      >&lt;&gt;</a
+		      > (a :: <a href="#" title="Data.Kind"
+		      >*</a
+		      >)</span
 		    > <a href="#" class="selflink"
 		    >#</a
 		    ></td
@@ -1819,13 +1719,13 @@
 		      ><div class="src"
 		      ><span class="keyword"
 			>type</span
-			> <a href="#"
-			>(&lt;&gt;)</a
-			> <a href="#"
-			>*</a
-			> <a href="#"
+			> <a href="#" title="TypeFamilies"
 			>X</a
-			> a = <a href="#"
+			> <a href="#" title="TypeFamilies"
+			>&lt;&gt;</a
+			> (a :: <a href="#" title="Data.Kind"
+			>*</a
+			>) = <a href="#" title="TypeFamilies"
 			>X</a
 			></div
 		      ></details
@@ -1854,13 +1754,11 @@
 		  ><span class="inst-left"
 		    ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:-62--60-:-62--60-:1"
 		      ></span
-		      > <a href="#"
-		      >(&gt;&lt;)</a
-		      > <a href="#"
-		      >X</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
 		      >XX</a
-		      > <a href="#"
+		      > <a href="#" title="TypeFamilies"
+		      >&gt;&lt;</a
+		      > <a href="#" title="TypeFamilies"
 		      >XXX</a
 		      ></span
 		    > <a href="#" class="selflink"