Update quantification order following GHC #23764

Author: monoidal

html-test/ref/LinearTypes.html

@@ -66,9 +66,9 @@
 	      >poly</a
 	      > :: <span class="keyword"
 	      >forall</span
-	      > a b (m :: <a href="#" title="GHC.Exts"
+	      > a (m :: <a href="#" title="GHC.Exts"
 	      >Multiplicity</a
-	      >). a %m -&gt; b</li
+	      >) b. a %m -&gt; b</li
 	    ></ul
 	  ></details
 	></div
@@ -105,9 +105,9 @@
 	    >poly</a
 	    > :: <span class="keyword"
 	    >forall</span
-	    > a b (m :: <a href="#" title="GHC.Exts"
+	    > a (m :: <a href="#" title="GHC.Exts"
 	    >Multiplicity</a
-	    >). a %m -&gt; b <a href="#" class="selflink"
+	    >) b. a %m -&gt; b <a href="#" class="selflink"
 	    >#</a
 	    ></p
 	  ><div class="doc"

latex-test/ref/LinearTypes/LinearTypes.tex

@@ -23,7 +23,7 @@
 \end{haddockdesc}
 \begin{haddockdesc}
 \item[\begin{tabular}{@{}l}
-poly :: forall a b (m :: Multiplicity). a {\char '45}m -> b
+poly :: forall a (m :: Multiplicity) b. a {\char '45}m -> b
 \end{tabular}]
 {\haddockbegindoc
 Does something polymorphic.\par}