Show where instances are defined (#748)

* Indicate source module of instances

Above instance, we now also display a link to the module where the
instance was defined. This is sometimes helpful in figuring out
what to import.

* Source module for type/data families too

* Remove parens

* Accept tests

18 files changed, 495 insertions, 89 deletions

diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 820fde3f..e50169ba 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -180,7 +180,11 @@
 		  ><details id="i:ic:C:C:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug26</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index ec0e2e9c..0548646b 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -78,7 +78,11 @@
 		  ><details id="i:id:A:DP:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug294</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="Bug294"
@@ -116,7 +120,11 @@
 		  ><details id="i:id:A:TP:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug294</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="Bug294"
@@ -210,7 +218,11 @@
 		  ><details id="i:if:TP:TP:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug294</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="Bug294"
@@ -268,7 +280,11 @@
 		  ><details id="i:if:DP:DP:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug294</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="Bug294"
@@ -324,7 +340,11 @@
 		  ><details id="i:if:TO-39-:TO-39-:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug294</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="Bug294"
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index f38a1535..29216433 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -116,7 +116,11 @@
 		  ><details id="i:id:WrappedArrow:Generic1:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>Control.Applicative</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
@@ -188,7 +192,11 @@
 		  ><details id="i:id:WrappedArrow:Functor:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Control.Applicative</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -240,7 +248,11 @@
 		  ><details id="i:id:WrappedArrow:Applicative:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Control.Applicative</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -330,7 +342,11 @@
 		  ><details id="i:id:WrappedArrow:Alternative:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Control.Applicative</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -396,7 +412,11 @@
 		  ><details id="i:id:WrappedArrow:Generic:5"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>Control.Applicative</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
@@ -470,7 +490,11 @@
 		  ><details id="i:id:WrappedArrow:Rep1:6"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Control.Applicative</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="GHC.Generics"
@@ -534,7 +558,11 @@
 		  ><details id="i:id:WrappedArrow:Rep:7"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Control.Applicative</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="GHC.Generics"
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index 8228ad16..12717922 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -122,7 +122,11 @@
 		  ><details id="i:ic:Functor:Functor:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug613</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -160,7 +164,11 @@
 		  ><details id="i:ic:Functor:Functor:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug613</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -234,7 +242,11 @@
 		  ><details id="i:id:ThreeVars:Functor:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug613</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html
index 0a216b4d..093c9046 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -90,7 +90,11 @@
 		  ><details id="i:id:Bar:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug679</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -166,7 +170,11 @@
 		  ><details id="i:ic:Foo:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Bug679</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index dac064f7..26a8e7a3 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -129,6 +129,10 @@
 		  ><details id="i:id:Foo:Bar:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>Bug7</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -179,6 +183,10 @@
 		  ><details id="i:ic:Bar:Bar:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>Bug7</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 966e9af2..8c48cee4 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -315,7 +315,11 @@
 		  ><details id="i:ic:Hash:Hash:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Hash</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -353,7 +357,11 @@
 		  ><details id="i:ic:Hash:Hash:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Hash</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -393,7 +401,11 @@
 		  ><details id="i:ic:Hash:Hash:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Hash</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 58a00e64..9594d8e1 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -102,6 +102,10 @@
 		  ><details id="i:ic:VisibleClass:VisibleClass:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>HiddenInstances</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -128,6 +132,10 @@
 		  ><details id="i:ic:VisibleClass:VisibleClass:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>HiddenInstances</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -176,7 +184,11 @@
 		  ><details id="i:id:VisibleData:Num:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>HiddenInstances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -282,6 +294,10 @@
 		  ><details id="i:id:VisibleData:VisibleClass:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>HiddenInstances</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index 92642eca..5b69947e 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -102,6 +102,10 @@
 		  ><details id="i:ic:Foo:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>HiddenInstancesA</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -150,6 +154,10 @@
 		  ><details id="i:id:Bar:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>HiddenInstancesA</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index fb3ee280..3dc26133 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -90,7 +90,11 @@
 		  ><details id="i:id:-60--126--126-:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -188,7 +192,11 @@
 		  ><details id="i:ic:Foo:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -234,7 +242,11 @@
 		  ><details id="i:ic:Foo:Foo:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -292,7 +304,11 @@
 		  ><details id="i:ic:Foo:Foo:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -354,7 +370,11 @@
 		  ><details id="i:ic:Foo:Foo:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -400,7 +420,11 @@
 		  ><details id="i:ic:Foo:Foo:5"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -458,7 +482,11 @@
 		  ><details id="i:ic:Foo:Foo:6"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -504,7 +532,11 @@
 		  ><details id="i:ic:Foo:Foo:7"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -564,7 +596,11 @@
 		  ><details id="i:ic:Foo:Foo:8"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -664,7 +700,11 @@
 		  ><details id="i:ic:Bar:Bar:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -762,7 +802,11 @@
 		  ><details id="i:ic:Bar:Bar:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -844,7 +888,11 @@
 		  ><details id="i:ic:Bar:Bar:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -900,7 +948,11 @@
 		  ><details id="i:ic:Bar:Bar:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -988,7 +1040,11 @@
 		  ><details id="i:ic:Bar:Bar:5"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1044,7 +1100,11 @@
 		  ><details id="i:ic:Bar:Bar:6"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1196,7 +1256,11 @@
 		  ><details id="i:ic:Baz:Baz:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1254,7 +1318,11 @@
 		  ><details id="i:ic:Baz:Baz:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1312,7 +1380,11 @@
 		  ><details id="i:ic:Baz:Baz:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1372,7 +1444,11 @@
 		  ><details id="i:ic:Baz:Baz:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1442,7 +1518,11 @@
 		  ><details id="i:ic:Baz:Baz:5"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1550,7 +1630,11 @@
 		  ><details id="i:id:Quux:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1610,7 +1694,11 @@
 		  ><details id="i:id:Quux:Bar:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1708,7 +1796,11 @@
 		  ><details id="i:id:Quux:Baz:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1784,7 +1876,11 @@
 		  ><details id="i:id:Quux:Thud:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="Instances"
@@ -1886,7 +1982,11 @@
 		  ><details id="i:ic:Norf:Norf:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
@@ -1960,7 +2060,11 @@
 		  ><details id="i:ic:Norf:Norf:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>Instances</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index 15501b7e..16ac16d6 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -76,7 +76,9 @@
 	      ><details id="i:o:ic:AClass:AClass:1"
 		><summary class="hide-when-js-enabled"
 		  >Instance details</summary
-		  ><div class="subs methods"
+		  ><p
+		  ></p
+		  > <div class="subs methods"
 		  ><p class="caption"
 		    >Methods</p
 		    ><p class="src"
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 5d2f0f0b..7b7085ea 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -100,7 +100,11 @@
 		  ><details id="i:ic:AClass:AClass:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>OrphanInstances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index 55490b36..ddb85534 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -94,7 +94,11 @@
 		  ><details id="i:id:AType:AClass:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>OrphanInstances</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 062ebb8d..dfded323 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -126,7 +126,11 @@
 		  ><details id="i:id:Expr:Show:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>QuasiExpr</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -242,7 +246,11 @@
 		  ><details id="i:id:BinOp:Show:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>QuasiExpr</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 3b865db3..cd80ed34 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -106,7 +106,11 @@ Fix spurious superclass constraints bug.</pre
 		  ><details id="i:id:SomeType:Functor:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>SpuriousSuperclassConstraints</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -156,7 +160,11 @@ Fix spurious superclass constraints bug.</pre
 		  ><details id="i:id:SomeType:Applicative:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>SpuriousSuperclassConstraints</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 49a0cf04..369541f3 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -1672,7 +1672,11 @@
 		  ><details id="i:ic:D:D:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Test</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
@@ -1720,7 +1724,11 @@
 		  ><details id="i:ic:D:D:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs methods"
+		      ><p
+		      >Defined in <a href="#"
+			>Test</a
+			></p
+		      > <div class="subs methods"
 		      ><p class="caption"
 			>Methods</p
 			><p class="src"
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 53c45b45..190f376e 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -242,6 +242,10 @@
 		  ><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
@@ -268,7 +272,11 @@
 		  ><details id="i:id:X:Assoc:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
@@ -322,6 +330,10 @@
 		  ><details id="i:id:X:Test:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -348,7 +360,11 @@
 		  ><details id="i:id:X:Foo:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies2"
@@ -386,7 +402,11 @@
 		  ><details id="i:id:X:-60--62-:5"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -424,7 +444,11 @@
 		  ><details id="i:id:X:AssocD:6"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -460,7 +484,11 @@
 		  ><details id="i:id:X:AssocT:7"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -502,7 +530,11 @@
 		  ><details id="i:id:X:Bat:8"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -562,7 +594,11 @@
 		  ><details id="i:id:X:Foo:9"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -600,7 +636,11 @@
 		  ><details id="i:id:X:-60--62-:10"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -660,7 +700,11 @@
 		  ><details id="i:id:Y:Assoc:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
@@ -714,6 +758,10 @@
 		  ><details id="i:id:Y:Test:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -740,7 +788,11 @@
 		  ><details id="i:id:Y:Bar:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies2"
@@ -774,7 +826,11 @@
 		  ><details id="i:id:Y:AssocD:4"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -810,7 +866,11 @@
 		  ><details id="i:id:Y:AssocT:5"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -850,7 +910,11 @@
 		  ><details id="i:id:Y:Bat:6"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -888,7 +952,11 @@
 		  ><details id="i:id:Y:Foo:7"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -926,7 +994,11 @@
 		  ><details id="i:id:Y:-60--62-:8"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -1008,7 +1080,11 @@
 		  ><details id="i:id:Z:Bat:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -1084,6 +1160,10 @@
 		  ><details id="i:ic:Test:Test:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -1110,6 +1190,10 @@
 		  ><details id="i:ic:Test:Test:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
@@ -1158,7 +1242,11 @@
 		  ><details id="i:if:Foo:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -1194,7 +1282,11 @@
 		  ><details id="i:if:Foo:Foo:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -1256,7 +1348,11 @@
 		  ><details id="i:if:Bat:Bat:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -1312,7 +1408,11 @@
 		  ><details id="i:if:Bat:Bat:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -1352,7 +1452,11 @@
 		  ><details id="i:if:Bat:Bat:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies"
@@ -1466,7 +1570,11 @@
 		  ><details id="i:ic:Assoc:Assoc:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
@@ -1520,7 +1628,11 @@
 		  ><details id="i:ic:Assoc:Assoc:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="subs associated-types"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="subs associated-types"
 		      ><p class="caption"
 			>Associated Types</p
 			><p class="src"
@@ -1638,7 +1750,11 @@
 		  ><details id="i:if:-60--62-:-60--62-:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -1678,7 +1794,11 @@
 		  ><details id="i:if:-60--62-:-60--62-:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -1716,7 +1836,11 @@
 		  ><details id="i:if:-60--62-:-60--62-:3"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies"
@@ -1772,6 +1896,10 @@
 		  ><details id="i:ic:-62--60-:-62--60-:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
 		      ></details
 		    ></td
 		  ></tr
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index b8e59df7..a5d0d9a9 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -110,7 +110,11 @@
 		  ><details id="i:id:W:Bar:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies2</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies2"
@@ -146,7 +150,11 @@
 		  ><details id="i:id:W:Foo:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies2</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies2"
@@ -202,7 +210,11 @@
 		  ><details id="i:if:Foo:Foo:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies2</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies2"
@@ -236,7 +248,11 @@
 		  ><details id="i:if:Foo:Foo:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>type</span
 			> <a href="#" title="TypeFamilies2"
@@ -296,7 +312,11 @@
 		  ><details id="i:if:Bar:Bar:1"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies2</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies2"
@@ -332,7 +352,11 @@
 		  ><details id="i:if:Bar:Bar:2"
 		    ><summary class="hide-when-js-enabled"
 		      >Instance details</summary
-		      ><div class="src"
+		      ><p
+		      >Defined in <a href="#"
+			>TypeFamilies</a
+			></p
+		      > <div class="src"
 		      ><span class="keyword"
 			>data</span
 			> <a href="#" title="TypeFamilies2"