[Git][ghc/ghc][wip/int-index/tuple-tyfam] Add Sum64#

5 May 2026


      Vladislav Zavialov pushed to branch wip/int-index/tuple-tyfam at Glasgow Haskell Compiler / GHC


Commits:
baed06c1 by Vladislav Zavialov at 2026-05-05T23:24:01+03:00
Add Sum64#

- - - - -


11 changed files:

- compiler/GHC/Settings/Constants.hs
- libraries/base/src/GHC/Base.hs
- libraries/base/src/GHC/Exts.hs
- libraries/ghc-experimental/src/Data/Sum/Experimental.hs
- libraries/ghc-internal/src/GHC/Internal/Base.hs
- libraries/ghc-internal/src/GHC/Internal/Exts.hs
- libraries/ghc-internal/src/GHC/Internal/Types.hs
- testsuite/tests/interface-stability/ghc-experimental-exports.stdout
- testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32
- testsuite/tests/interface-stability/ghc-prim-exports.stdout
- testsuite/tests/interface-stability/ghc-prim-exports.stdout-mingw32


Changes:

=====================================
compiler/GHC/Settings/Constants.hs
=====================================
@@ -17,8 +17,8 @@ mAX_TUPLE_SIZE = 64 -- Should really match the number
 mAX_CTUPLE_SIZE :: Int   -- Constraint tuples
 mAX_CTUPLE_SIZE = 64     -- Should match the number of decls in GHC.Classes
 
-mAX_SUM_SIZE :: Int      -- We use 6 bits to record sum size,
-mAX_SUM_SIZE = 63        -- so max sum size is 63.  Sadly inconsistent.
+mAX_SUM_SIZE :: Int
+mAX_SUM_SIZE = 64        -- Should match the number of decls in GHC.Internal.Types
 
 -- | Default maximum depth for both class instance search and type family
 -- reduction. See also #5395.


=====================================
libraries/base/src/GHC/Base.hs
=====================================
@@ -527,4 +527,5 @@ import GHC.Types hiding (
   Sum61#,
   Sum62#,
   Sum63#,
+  Sum64#,
   )


=====================================
libraries/base/src/GHC/Exts.hs
=====================================
@@ -500,4 +500,5 @@ import GHC.Types hiding (
   Sum61#,
   Sum62#,
   Sum63#,
+  Sum64#,
   )


=====================================
libraries/ghc-experimental/src/Data/Sum/Experimental.hs
=====================================
@@ -79,6 +79,7 @@ module Data.Sum.Experimental (
   Sum61#,
   Sum62#,
   Sum63#,
+  Sum64#,
 
   -- * Type families
   TupleArgKind#,
@@ -157,3 +158,4 @@ type family Sum# ts where
   Sum# (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi) = Sum61# a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi
   Sum# (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj) = Sum62# a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi bj
   Sum# (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk) = Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi bj bk
+  Sum# (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk, bl) = Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z aa ab ac ad ae af ag ah ai aj ak al am an ao ap aq ar as at au av aw ax ay az ba bb bc bd be bf bg bh bi bj bk bl


=====================================
libraries/ghc-internal/src/GHC/Internal/Base.hs
=====================================
@@ -235,6 +235,7 @@ import GHC.Internal.Types hiding (
   Sum61#,
   Sum62#,
   Sum63#,
+  Sum64#,
   )
 import GHC.Internal.Classes hiding (
   CUnit,


=====================================
libraries/ghc-internal/src/GHC/Internal/Exts.hs
=====================================
@@ -338,6 +338,7 @@ import GHC.Internal.Types
          Sum61#,
          Sum62#,
          Sum63#,
+         Sum64#,
   )
 import GHC.Internal.Prim.Ext
 import GHC.Internal.ArrayArray


=====================================
libraries/ghc-internal/src/GHC/Internal/Types.hs
=====================================
@@ -195,6 +195,7 @@ module GHC.Internal.Types (
         Sum61#,
         Sum62#,
         Sum63#,
+        Sum64#,
 
     ) where
 
@@ -1467,14 +1468,6 @@ data Tuple64# a b c d e f g h i j k l m n o p q r s t u v w x y z a1 b1 c1 d1 e1
   (# a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,a1,b1,c1,d1,e1,f1,g1,h1,i1,j1,k1,l1,m1,n1,o1,p1,q1,r1,s1,t1,
      u1,v1,w1,x1,y1,z1,a2,b2,c2,d2,e2,f2,g2,h2,i2,j2,k2,l2 #)
 
-{-
-Note [Unboxed sum with arity 64]
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-While tuples are defined up to arity 64, sums can maximally have 63 alternatives.
-This is due to the Unique layout for unboxed sums, which allots only six bits
-for encoding the alternative.
--}
-
 type Sum2# :: TYPE r1 -> TYPE r2 -> TYPE (SumRep [r1, r2])
 data Sum2# a b =
     (# a | #)
@@ -3675,3 +3668,70 @@ data Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z a1 b1 c1 d1 e1 f
   | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | i2 | | #)
   | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | j2 | #)
   | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | k2 #)
+
+type Sum64# :: TYPE r1 -> TYPE r2 -> TYPE r3 -> TYPE r4 -> TYPE r5 -> TYPE r6 -> TYPE r7 -> TYPE r8 -> TYPE r9 -> TYPE r10 -> TYPE r11 -> TYPE r12 -> TYPE r13 -> TYPE r14 -> TYPE r15 -> TYPE r16 -> TYPE r17 -> TYPE r18 -> TYPE r19 -> TYPE r20 -> TYPE r21 -> TYPE r22 -> TYPE r23 -> TYPE r24 -> TYPE r25 -> TYPE r26 -> TYPE r27 -> TYPE r28 -> TYPE r29 -> TYPE r30 -> TYPE r31 -> TYPE r32 -> TYPE r33 -> TYPE r34 -> TYPE r35 -> TYPE r36 -> TYPE r37 -> TYPE r38 -> TYPE r39 -> TYPE r40 -> TYPE r41 -> TYPE r42 -> TYPE r43 -> TYPE r44 -> TYPE r45 -> TYPE r46 -> TYPE r47 -> TYPE r48 -> TYPE r49 -> TYPE r50 -> TYPE r51 -> TYPE r52 -> TYPE r53 -> TYPE r54 -> TYPE r55 -> TYPE r56 -> TYPE r57 -> TYPE r58 -> TYPE r59 -> TYPE r60 -> TYPE r61 -> TYPE r62 -> TYPE r63 -> TYPE r64 -> TYPE (SumRep [r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r13, r14, r15, r16, r17, r18, r19, r20, r21, r22, r23, r24, r25, r26, r27, r28, r29, r30, r31, r32, r33, r34, r35, r36, r37, r38, r39, r40, r41, r42, r43, r44, r45, r46, r47, r48, r49, r50, r51, r52, r53, r54, r55, r56, r57, r58, r59, r60, r61, r62, r63, r64])
+data Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1 p1 q1 r1 s1 t1 u1 v1 w1 x1 y1 z1 a2 b2 c2 d2 e2 f2 g2 h2 i2 j2 k2 l2 =
+    (# a | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | b | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | c | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | d | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | e | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | f | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | g | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | h | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | i | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | j | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | k | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | l | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | m | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | n | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | o | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | p | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | q | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | r | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | s | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | t | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | u | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | v | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | w | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | x | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | y | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | z | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | a1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | b1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | c1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | d1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | e1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | f1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | g1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | h1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | i1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | j1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | k1 | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | l1 | | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | m1 | | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | n1 | | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o1 | | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | p1 | | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | q1 | | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | r1 | | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | s1 | | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | t1 | | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | u1 | | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | v1 | | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | w1 | | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | x1 | | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | y1 | | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | z1 | | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | a2 | | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | b2 | | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | c2 | | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | d2 | | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | e2 | | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | f2 | | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | g2 | | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | h2 | | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | i2 | | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | j2 | | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | k2 | #)
+  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | l2 #)


=====================================
testsuite/tests/interface-stability/ghc-experimental-exports.stdout
=====================================
@@ -256,6 +256,13 @@ module Data.Sum.Experimental where
            (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49) (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52)
            (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62).
       Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk #)
+    forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep) (k16 :: GHC.Internal.Types.RuntimeRep)
+           (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep) (k33 :: GHC.Internal.Types.RuntimeRep)
+           (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep) (k50 :: GHC.Internal.Types.RuntimeRep)
+           (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep) (a :: TYPE k0) (b :: TYPE k1) (c :: TYPE k2) (d :: TYPE k3) (e :: TYPE k4) (f :: TYPE k5) (g :: TYPE k6) (h :: TYPE k7) (i :: TYPE k8) (j :: TYPE k9)
+           (k :: TYPE k10) (l :: TYPE k11) (m :: TYPE k12) (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49)
+           (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52) (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62) (bl :: TYPE k63).
+      Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk, bl) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk | bl #)
   type Sum10# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9])
   data Sum10# a b c d e f g h i j = ...
   type Sum11# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE k10 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10])
@@ -1791,6 +1798,76 @@ module Data.Sum.Experimental where
                  -> TYPE k62
                  -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62])
   data Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 = ...
+  type Sum64# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep)
+                        (k16 :: GHC.Internal.Types.RuntimeRep) (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep)
+                        (k33 :: GHC.Internal.Types.RuntimeRep) (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep)
+                        (k50 :: GHC.Internal.Types.RuntimeRep) (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep).
+                 TYPE k0
+                 -> TYPE k1
+                 -> TYPE k2
+                 -> TYPE k3
+                 -> TYPE k4
+                 -> TYPE k5
+                 -> TYPE k6
+                 -> TYPE k7
+                 -> TYPE k8
+                 -> TYPE k9
+                 -> TYPE k10
+                 -> TYPE k11
+                 -> TYPE k12
+                 -> TYPE k13
+                 -> TYPE k14
+                 -> TYPE k15
+                 -> TYPE k16
+                 -> TYPE k17
+                 -> TYPE k18
+                 -> TYPE k19
+                 -> TYPE k20
+                 -> TYPE k21
+                 -> TYPE k22
+                 -> TYPE k23
+                 -> TYPE k24
+                 -> TYPE k25
+                 -> TYPE k26
+                 -> TYPE k27
+                 -> TYPE k28
+                 -> TYPE k29
+                 -> TYPE k30
+                 -> TYPE k31
+                 -> TYPE k32
+                 -> TYPE k33
+                 -> TYPE k34
+                 -> TYPE k35
+                 -> TYPE k36
+                 -> TYPE k37
+                 -> TYPE k38
+                 -> TYPE k39
+                 -> TYPE k40
+                 -> TYPE k41
+                 -> TYPE k42
+                 -> TYPE k43
+                 -> TYPE k44
+                 -> TYPE k45
+                 -> TYPE k46
+                 -> TYPE k47
+                 -> TYPE k48
+                 -> TYPE k49
+                 -> TYPE k50
+                 -> TYPE k51
+                 -> TYPE k52
+                 -> TYPE k53
+                 -> TYPE k54
+                 -> TYPE k55
+                 -> TYPE k56
+                 -> TYPE k57
+                 -> TYPE k58
+                 -> TYPE k59
+                 -> TYPE k60
+                 -> TYPE k61
+                 -> TYPE k62
+                 -> TYPE k63
+                 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62, k63])
+  data Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 = ...
   type Sum7# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6])
   data Sum7# a b c d e f g = ...
   type Sum8# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7])
@@ -9573,6 +9650,13 @@ module Prelude.Experimental where
            (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49) (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52)
            (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62).
       Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk #)
+    forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep) (k16 :: GHC.Internal.Types.RuntimeRep)
+           (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep) (k33 :: GHC.Internal.Types.RuntimeRep)
+           (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep) (k50 :: GHC.Internal.Types.RuntimeRep)
+           (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep) (a :: TYPE k0) (b :: TYPE k1) (c :: TYPE k2) (d :: TYPE k3) (e :: TYPE k4) (f :: TYPE k5) (g :: TYPE k6) (h :: TYPE k7) (i :: TYPE k8) (j :: TYPE k9)
+           (k :: TYPE k10) (l :: TYPE k11) (m :: TYPE k12) (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49)
+           (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52) (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62) (bl :: TYPE k63).
+      Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk, bl) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk | bl #)
   type Sum10# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9])
   data Sum10# a b c d e f g h i j = ...
   type Sum11# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE k10 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10])
@@ -11108,6 +11192,76 @@ module Prelude.Experimental where
                  -> TYPE k62
                  -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62])
   data Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 = ...
+  type Sum64# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep)
+                        (k16 :: GHC.Internal.Types.RuntimeRep) (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep)
+                        (k33 :: GHC.Internal.Types.RuntimeRep) (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep)
+                        (k50 :: GHC.Internal.Types.RuntimeRep) (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep).
+                 TYPE k0
+                 -> TYPE k1
+                 -> TYPE k2
+                 -> TYPE k3
+                 -> TYPE k4
+                 -> TYPE k5
+                 -> TYPE k6
+                 -> TYPE k7
+                 -> TYPE k8
+                 -> TYPE k9
+                 -> TYPE k10
+                 -> TYPE k11
+                 -> TYPE k12
+                 -> TYPE k13
+                 -> TYPE k14
+                 -> TYPE k15
+                 -> TYPE k16
+                 -> TYPE k17
+                 -> TYPE k18
+                 -> TYPE k19
+                 -> TYPE k20
+                 -> TYPE k21
+                 -> TYPE k22
+                 -> TYPE k23
+                 -> TYPE k24
+                 -> TYPE k25
+                 -> TYPE k26
+                 -> TYPE k27
+                 -> TYPE k28
+                 -> TYPE k29
+                 -> TYPE k30
+                 -> TYPE k31
+                 -> TYPE k32
+                 -> TYPE k33
+                 -> TYPE k34
+                 -> TYPE k35
+                 -> TYPE k36
+                 -> TYPE k37
+                 -> TYPE k38
+                 -> TYPE k39
+                 -> TYPE k40
+                 -> TYPE k41
+                 -> TYPE k42
+                 -> TYPE k43
+                 -> TYPE k44
+                 -> TYPE k45
+                 -> TYPE k46
+                 -> TYPE k47
+                 -> TYPE k48
+                 -> TYPE k49
+                 -> TYPE k50
+                 -> TYPE k51
+                 -> TYPE k52
+                 -> TYPE k53
+                 -> TYPE k54
+                 -> TYPE k55
+                 -> TYPE k56
+                 -> TYPE k57
+                 -> TYPE k58
+                 -> TYPE k59
+                 -> TYPE k60
+                 -> TYPE k61
+                 -> TYPE k62
+                 -> TYPE k63
+                 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62, k63])
+  data Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 = ...
   type Sum7# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6])
   data Sum7# a b c d e f g = ...
   type Sum8# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7])


=====================================
testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32
=====================================
@@ -256,6 +256,13 @@ module Data.Sum.Experimental where
            (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49) (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52)
            (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62).
       Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk #)
+    forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep) (k16 :: GHC.Internal.Types.RuntimeRep)
+           (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep) (k33 :: GHC.Internal.Types.RuntimeRep)
+           (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep) (k50 :: GHC.Internal.Types.RuntimeRep)
+           (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep) (a :: TYPE k0) (b :: TYPE k1) (c :: TYPE k2) (d :: TYPE k3) (e :: TYPE k4) (f :: TYPE k5) (g :: TYPE k6) (h :: TYPE k7) (i :: TYPE k8) (j :: TYPE k9)
+           (k :: TYPE k10) (l :: TYPE k11) (m :: TYPE k12) (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49)
+           (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52) (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62) (bl :: TYPE k63).
+      Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk, bl) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk | bl #)
   type Sum10# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9])
   data Sum10# a b c d e f g h i j = ...
   type Sum11# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE k10 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10])
@@ -1791,6 +1798,76 @@ module Data.Sum.Experimental where
                  -> TYPE k62
                  -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62])
   data Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 = ...
+  type Sum64# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep)
+                        (k16 :: GHC.Internal.Types.RuntimeRep) (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep)
+                        (k33 :: GHC.Internal.Types.RuntimeRep) (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep)
+                        (k50 :: GHC.Internal.Types.RuntimeRep) (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep).
+                 TYPE k0
+                 -> TYPE k1
+                 -> TYPE k2
+                 -> TYPE k3
+                 -> TYPE k4
+                 -> TYPE k5
+                 -> TYPE k6
+                 -> TYPE k7
+                 -> TYPE k8
+                 -> TYPE k9
+                 -> TYPE k10
+                 -> TYPE k11
+                 -> TYPE k12
+                 -> TYPE k13
+                 -> TYPE k14
+                 -> TYPE k15
+                 -> TYPE k16
+                 -> TYPE k17
+                 -> TYPE k18
+                 -> TYPE k19
+                 -> TYPE k20
+                 -> TYPE k21
+                 -> TYPE k22
+                 -> TYPE k23
+                 -> TYPE k24
+                 -> TYPE k25
+                 -> TYPE k26
+                 -> TYPE k27
+                 -> TYPE k28
+                 -> TYPE k29
+                 -> TYPE k30
+                 -> TYPE k31
+                 -> TYPE k32
+                 -> TYPE k33
+                 -> TYPE k34
+                 -> TYPE k35
+                 -> TYPE k36
+                 -> TYPE k37
+                 -> TYPE k38
+                 -> TYPE k39
+                 -> TYPE k40
+                 -> TYPE k41
+                 -> TYPE k42
+                 -> TYPE k43
+                 -> TYPE k44
+                 -> TYPE k45
+                 -> TYPE k46
+                 -> TYPE k47
+                 -> TYPE k48
+                 -> TYPE k49
+                 -> TYPE k50
+                 -> TYPE k51
+                 -> TYPE k52
+                 -> TYPE k53
+                 -> TYPE k54
+                 -> TYPE k55
+                 -> TYPE k56
+                 -> TYPE k57
+                 -> TYPE k58
+                 -> TYPE k59
+                 -> TYPE k60
+                 -> TYPE k61
+                 -> TYPE k62
+                 -> TYPE k63
+                 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62, k63])
+  data Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 = ...
   type Sum7# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6])
   data Sum7# a b c d e f g = ...
   type Sum8# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7])
@@ -9576,6 +9653,13 @@ module Prelude.Experimental where
            (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49) (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52)
            (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62).
       Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk #)
+    forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep) (k16 :: GHC.Internal.Types.RuntimeRep)
+           (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep) (k33 :: GHC.Internal.Types.RuntimeRep)
+           (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep) (k50 :: GHC.Internal.Types.RuntimeRep)
+           (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep) (a :: TYPE k0) (b :: TYPE k1) (c :: TYPE k2) (d :: TYPE k3) (e :: TYPE k4) (f :: TYPE k5) (g :: TYPE k6) (h :: TYPE k7) (i :: TYPE k8) (j :: TYPE k9)
+           (k :: TYPE k10) (l :: TYPE k11) (m :: TYPE k12) (n :: TYPE k13) (o :: TYPE k14) (p :: TYPE k15) (q :: TYPE k16) (r :: TYPE k17) (s :: TYPE k18) (t :: TYPE k19) (u :: TYPE k20) (v :: TYPE k21) (w :: TYPE k22) (x :: TYPE k23) (y :: TYPE k24) (z :: TYPE k25) (aa :: TYPE k26) (ab :: TYPE k27) (ac :: TYPE k28) (ad :: TYPE k29) (ae :: TYPE k30) (af :: TYPE k31) (ag :: TYPE k32) (ah :: TYPE k33) (ai :: TYPE k34) (aj :: TYPE k35) (ak :: TYPE k36) (al :: TYPE k37) (am :: TYPE k38) (an :: TYPE k39) (ao :: TYPE k40) (ap :: TYPE k41) (aq :: TYPE k42) (ar :: TYPE k43) (as :: TYPE k44) (at :: TYPE k45) (au :: TYPE k46) (av :: TYPE k47) (aw :: TYPE k48) (ax :: TYPE k49)
+           (ay :: TYPE k50) (az :: TYPE k51) (ba :: TYPE k52) (bb :: TYPE k53) (bc :: TYPE k54) (bd :: TYPE k55) (be :: TYPE k56) (bf :: TYPE k57) (bg :: TYPE k58) (bh :: TYPE k59) (bi :: TYPE k60) (bj :: TYPE k61) (bk :: TYPE k62) (bl :: TYPE k63).
+      Sum# '(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, aa, ab, ac, ad, ae, af, ag, ah, ai, aj, ak, al, am, an, ao, ap, aq, ar, as, at, au, av, aw, ax, ay, az, ba, bb, bc, bd, be, bf, bg, bh, bi, bj, bk, bl) = (# a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z | aa | ab | ac | ad | ae | af | ag | ah | ai | aj | ak | al | am | an | ao | ap | aq | ar | as | at | au | av | aw | ax | ay | az | ba | bb | bc | bd | be | bf | bg | bh | bi | bj | bk | bl #)
   type Sum10# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9])
   data Sum10# a b c d e f g h i j = ...
   type Sum11# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE k8 -> TYPE k9 -> TYPE k10 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10])
@@ -11111,6 +11195,76 @@ module Prelude.Experimental where
                  -> TYPE k62
                  -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62])
   data Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 = ...
+  type Sum64# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep) (k8 :: GHC.Internal.Types.RuntimeRep) (k9 :: GHC.Internal.Types.RuntimeRep) (k10 :: GHC.Internal.Types.RuntimeRep) (k11 :: GHC.Internal.Types.RuntimeRep) (k12 :: GHC.Internal.Types.RuntimeRep) (k13 :: GHC.Internal.Types.RuntimeRep) (k14 :: GHC.Internal.Types.RuntimeRep) (k15 :: GHC.Internal.Types.RuntimeRep)
+                        (k16 :: GHC.Internal.Types.RuntimeRep) (k17 :: GHC.Internal.Types.RuntimeRep) (k18 :: GHC.Internal.Types.RuntimeRep) (k19 :: GHC.Internal.Types.RuntimeRep) (k20 :: GHC.Internal.Types.RuntimeRep) (k21 :: GHC.Internal.Types.RuntimeRep) (k22 :: GHC.Internal.Types.RuntimeRep) (k23 :: GHC.Internal.Types.RuntimeRep) (k24 :: GHC.Internal.Types.RuntimeRep) (k25 :: GHC.Internal.Types.RuntimeRep) (k26 :: GHC.Internal.Types.RuntimeRep) (k27 :: GHC.Internal.Types.RuntimeRep) (k28 :: GHC.Internal.Types.RuntimeRep) (k29 :: GHC.Internal.Types.RuntimeRep) (k30 :: GHC.Internal.Types.RuntimeRep) (k31 :: GHC.Internal.Types.RuntimeRep) (k32 :: GHC.Internal.Types.RuntimeRep)
+                        (k33 :: GHC.Internal.Types.RuntimeRep) (k34 :: GHC.Internal.Types.RuntimeRep) (k35 :: GHC.Internal.Types.RuntimeRep) (k36 :: GHC.Internal.Types.RuntimeRep) (k37 :: GHC.Internal.Types.RuntimeRep) (k38 :: GHC.Internal.Types.RuntimeRep) (k39 :: GHC.Internal.Types.RuntimeRep) (k40 :: GHC.Internal.Types.RuntimeRep) (k41 :: GHC.Internal.Types.RuntimeRep) (k42 :: GHC.Internal.Types.RuntimeRep) (k43 :: GHC.Internal.Types.RuntimeRep) (k44 :: GHC.Internal.Types.RuntimeRep) (k45 :: GHC.Internal.Types.RuntimeRep) (k46 :: GHC.Internal.Types.RuntimeRep) (k47 :: GHC.Internal.Types.RuntimeRep) (k48 :: GHC.Internal.Types.RuntimeRep) (k49 :: GHC.Internal.Types.RuntimeRep)
+                        (k50 :: GHC.Internal.Types.RuntimeRep) (k51 :: GHC.Internal.Types.RuntimeRep) (k52 :: GHC.Internal.Types.RuntimeRep) (k53 :: GHC.Internal.Types.RuntimeRep) (k54 :: GHC.Internal.Types.RuntimeRep) (k55 :: GHC.Internal.Types.RuntimeRep) (k56 :: GHC.Internal.Types.RuntimeRep) (k57 :: GHC.Internal.Types.RuntimeRep) (k58 :: GHC.Internal.Types.RuntimeRep) (k59 :: GHC.Internal.Types.RuntimeRep) (k60 :: GHC.Internal.Types.RuntimeRep) (k61 :: GHC.Internal.Types.RuntimeRep) (k62 :: GHC.Internal.Types.RuntimeRep) (k63 :: GHC.Internal.Types.RuntimeRep).
+                 TYPE k0
+                 -> TYPE k1
+                 -> TYPE k2
+                 -> TYPE k3
+                 -> TYPE k4
+                 -> TYPE k5
+                 -> TYPE k6
+                 -> TYPE k7
+                 -> TYPE k8
+                 -> TYPE k9
+                 -> TYPE k10
+                 -> TYPE k11
+                 -> TYPE k12
+                 -> TYPE k13
+                 -> TYPE k14
+                 -> TYPE k15
+                 -> TYPE k16
+                 -> TYPE k17
+                 -> TYPE k18
+                 -> TYPE k19
+                 -> TYPE k20
+                 -> TYPE k21
+                 -> TYPE k22
+                 -> TYPE k23
+                 -> TYPE k24
+                 -> TYPE k25
+                 -> TYPE k26
+                 -> TYPE k27
+                 -> TYPE k28
+                 -> TYPE k29
+                 -> TYPE k30
+                 -> TYPE k31
+                 -> TYPE k32
+                 -> TYPE k33
+                 -> TYPE k34
+                 -> TYPE k35
+                 -> TYPE k36
+                 -> TYPE k37
+                 -> TYPE k38
+                 -> TYPE k39
+                 -> TYPE k40
+                 -> TYPE k41
+                 -> TYPE k42
+                 -> TYPE k43
+                 -> TYPE k44
+                 -> TYPE k45
+                 -> TYPE k46
+                 -> TYPE k47
+                 -> TYPE k48
+                 -> TYPE k49
+                 -> TYPE k50
+                 -> TYPE k51
+                 -> TYPE k52
+                 -> TYPE k53
+                 -> TYPE k54
+                 -> TYPE k55
+                 -> TYPE k56
+                 -> TYPE k57
+                 -> TYPE k58
+                 -> TYPE k59
+                 -> TYPE k60
+                 -> TYPE k61
+                 -> TYPE k62
+                 -> TYPE k63
+                 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62, k63])
+  data Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 = ...
   type Sum7# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6])
   data Sum7# a b c d e f g = ...
   type Sum8# :: forall (k0 :: GHC.Internal.Types.RuntimeRep) (k1 :: GHC.Internal.Types.RuntimeRep) (k2 :: GHC.Internal.Types.RuntimeRep) (k3 :: GHC.Internal.Types.RuntimeRep) (k4 :: GHC.Internal.Types.RuntimeRep) (k5 :: GHC.Internal.Types.RuntimeRep) (k6 :: GHC.Internal.Types.RuntimeRep) (k7 :: GHC.Internal.Types.RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE (GHC.Internal.Types.SumRep [k0, k1, k2, k3, k4, k5, k6, k7])


=====================================
testsuite/tests/interface-stability/ghc-prim-exports.stdout
=====================================
@@ -5373,6 +5373,74 @@ module GHC.Types where
                  -> TYPE k62
                  -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62])
   data Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 = ...
+  type Sum64# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (k2 :: RuntimeRep) (k3 :: RuntimeRep) (k4 :: RuntimeRep) (k5 :: RuntimeRep) (k6 :: RuntimeRep) (k7 :: RuntimeRep) (k8 :: RuntimeRep) (k9 :: RuntimeRep) (k10 :: RuntimeRep) (k11 :: RuntimeRep) (k12 :: RuntimeRep) (k13 :: RuntimeRep) (k14 :: RuntimeRep) (k15 :: RuntimeRep) (k16 :: RuntimeRep) (k17 :: RuntimeRep) (k18 :: RuntimeRep) (k19 :: RuntimeRep) (k20 :: RuntimeRep) (k21 :: RuntimeRep) (k22 :: RuntimeRep) (k23 :: RuntimeRep) (k24 :: RuntimeRep) (k25 :: RuntimeRep) (k26 :: RuntimeRep) (k27 :: RuntimeRep) (k28 :: RuntimeRep) (k29 :: RuntimeRep) (k30 :: RuntimeRep) (k31 :: RuntimeRep)
+                        (k32 :: RuntimeRep) (k33 :: RuntimeRep) (k34 :: RuntimeRep) (k35 :: RuntimeRep) (k36 :: RuntimeRep) (k37 :: RuntimeRep) (k38 :: RuntimeRep) (k39 :: RuntimeRep) (k40 :: RuntimeRep) (k41 :: RuntimeRep) (k42 :: RuntimeRep) (k43 :: RuntimeRep) (k44 :: RuntimeRep) (k45 :: RuntimeRep) (k46 :: RuntimeRep) (k47 :: RuntimeRep) (k48 :: RuntimeRep) (k49 :: RuntimeRep) (k50 :: RuntimeRep) (k51 :: RuntimeRep) (k52 :: RuntimeRep) (k53 :: RuntimeRep) (k54 :: RuntimeRep) (k55 :: RuntimeRep) (k56 :: RuntimeRep) (k57 :: RuntimeRep) (k58 :: RuntimeRep) (k59 :: RuntimeRep) (k60 :: RuntimeRep) (k61 :: RuntimeRep) (k62 :: RuntimeRep) (k63 :: RuntimeRep).
+                 TYPE k0
+                 -> TYPE k1
+                 -> TYPE k2
+                 -> TYPE k3
+                 -> TYPE k4
+                 -> TYPE k5
+                 -> TYPE k6
+                 -> TYPE k7
+                 -> TYPE k8
+                 -> TYPE k9
+                 -> TYPE k10
+                 -> TYPE k11
+                 -> TYPE k12
+                 -> TYPE k13
+                 -> TYPE k14
+                 -> TYPE k15
+                 -> TYPE k16
+                 -> TYPE k17
+                 -> TYPE k18
+                 -> TYPE k19
+                 -> TYPE k20
+                 -> TYPE k21
+                 -> TYPE k22
+                 -> TYPE k23
+                 -> TYPE k24
+                 -> TYPE k25
+                 -> TYPE k26
+                 -> TYPE k27
+                 -> TYPE k28
+                 -> TYPE k29
+                 -> TYPE k30
+                 -> TYPE k31
+                 -> TYPE k32
+                 -> TYPE k33
+                 -> TYPE k34
+                 -> TYPE k35
+                 -> TYPE k36
+                 -> TYPE k37
+                 -> TYPE k38
+                 -> TYPE k39
+                 -> TYPE k40
+                 -> TYPE k41
+                 -> TYPE k42
+                 -> TYPE k43
+                 -> TYPE k44
+                 -> TYPE k45
+                 -> TYPE k46
+                 -> TYPE k47
+                 -> TYPE k48
+                 -> TYPE k49
+                 -> TYPE k50
+                 -> TYPE k51
+                 -> TYPE k52
+                 -> TYPE k53
+                 -> TYPE k54
+                 -> TYPE k55
+                 -> TYPE k56
+                 -> TYPE k57
+                 -> TYPE k58
+                 -> TYPE k59
+                 -> TYPE k60
+                 -> TYPE k61
+                 -> TYPE k62
+                 -> TYPE k63
+                 -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62, k63])
+  data Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 = ...
   type Sum7# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (k2 :: RuntimeRep) (k3 :: RuntimeRep) (k4 :: RuntimeRep) (k5 :: RuntimeRep) (k6 :: RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6])
   data Sum7# a b c d e f g = ...
   type Sum8# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (k2 :: RuntimeRep) (k3 :: RuntimeRep) (k4 :: RuntimeRep) (k5 :: RuntimeRep) (k6 :: RuntimeRep) (k7 :: RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6, k7])


=====================================
testsuite/tests/interface-stability/ghc-prim-exports.stdout-mingw32
=====================================
@@ -5376,6 +5376,74 @@ module GHC.Types where
                  -> TYPE k62
                  -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62])
   data Sum63# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 = ...
+  type Sum64# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (k2 :: RuntimeRep) (k3 :: RuntimeRep) (k4 :: RuntimeRep) (k5 :: RuntimeRep) (k6 :: RuntimeRep) (k7 :: RuntimeRep) (k8 :: RuntimeRep) (k9 :: RuntimeRep) (k10 :: RuntimeRep) (k11 :: RuntimeRep) (k12 :: RuntimeRep) (k13 :: RuntimeRep) (k14 :: RuntimeRep) (k15 :: RuntimeRep) (k16 :: RuntimeRep) (k17 :: RuntimeRep) (k18 :: RuntimeRep) (k19 :: RuntimeRep) (k20 :: RuntimeRep) (k21 :: RuntimeRep) (k22 :: RuntimeRep) (k23 :: RuntimeRep) (k24 :: RuntimeRep) (k25 :: RuntimeRep) (k26 :: RuntimeRep) (k27 :: RuntimeRep) (k28 :: RuntimeRep) (k29 :: RuntimeRep) (k30 :: RuntimeRep) (k31 :: RuntimeRep)
+                        (k32 :: RuntimeRep) (k33 :: RuntimeRep) (k34 :: RuntimeRep) (k35 :: RuntimeRep) (k36 :: RuntimeRep) (k37 :: RuntimeRep) (k38 :: RuntimeRep) (k39 :: RuntimeRep) (k40 :: RuntimeRep) (k41 :: RuntimeRep) (k42 :: RuntimeRep) (k43 :: RuntimeRep) (k44 :: RuntimeRep) (k45 :: RuntimeRep) (k46 :: RuntimeRep) (k47 :: RuntimeRep) (k48 :: RuntimeRep) (k49 :: RuntimeRep) (k50 :: RuntimeRep) (k51 :: RuntimeRep) (k52 :: RuntimeRep) (k53 :: RuntimeRep) (k54 :: RuntimeRep) (k55 :: RuntimeRep) (k56 :: RuntimeRep) (k57 :: RuntimeRep) (k58 :: RuntimeRep) (k59 :: RuntimeRep) (k60 :: RuntimeRep) (k61 :: RuntimeRep) (k62 :: RuntimeRep) (k63 :: RuntimeRep).
+                 TYPE k0
+                 -> TYPE k1
+                 -> TYPE k2
+                 -> TYPE k3
+                 -> TYPE k4
+                 -> TYPE k5
+                 -> TYPE k6
+                 -> TYPE k7
+                 -> TYPE k8
+                 -> TYPE k9
+                 -> TYPE k10
+                 -> TYPE k11
+                 -> TYPE k12
+                 -> TYPE k13
+                 -> TYPE k14
+                 -> TYPE k15
+                 -> TYPE k16
+                 -> TYPE k17
+                 -> TYPE k18
+                 -> TYPE k19
+                 -> TYPE k20
+                 -> TYPE k21
+                 -> TYPE k22
+                 -> TYPE k23
+                 -> TYPE k24
+                 -> TYPE k25
+                 -> TYPE k26
+                 -> TYPE k27
+                 -> TYPE k28
+                 -> TYPE k29
+                 -> TYPE k30
+                 -> TYPE k31
+                 -> TYPE k32
+                 -> TYPE k33
+                 -> TYPE k34
+                 -> TYPE k35
+                 -> TYPE k36
+                 -> TYPE k37
+                 -> TYPE k38
+                 -> TYPE k39
+                 -> TYPE k40
+                 -> TYPE k41
+                 -> TYPE k42
+                 -> TYPE k43
+                 -> TYPE k44
+                 -> TYPE k45
+                 -> TYPE k46
+                 -> TYPE k47
+                 -> TYPE k48
+                 -> TYPE k49
+                 -> TYPE k50
+                 -> TYPE k51
+                 -> TYPE k52
+                 -> TYPE k53
+                 -> TYPE k54
+                 -> TYPE k55
+                 -> TYPE k56
+                 -> TYPE k57
+                 -> TYPE k58
+                 -> TYPE k59
+                 -> TYPE k60
+                 -> TYPE k61
+                 -> TYPE k62
+                 -> TYPE k63
+                 -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24, k25, k26, k27, k28, k29, k30, k31, k32, k33, k34, k35, k36, k37, k38, k39, k40, k41, k42, k43, k44, k45, k46, k47, k48, k49, k50, k51, k52, k53, k54, k55, k56, k57, k58, k59, k60, k61, k62, k63])
+  data Sum64# a b c d e f g h i j k l m n o p q r s t u v w x y z t26 t27 t28 t29 t30 t31 t32 t33 t34 t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51 t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 = ...
   type Sum7# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (k2 :: RuntimeRep) (k3 :: RuntimeRep) (k4 :: RuntimeRep) (k5 :: RuntimeRep) (k6 :: RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6])
   data Sum7# a b c d e f g = ...
   type Sum8# :: forall (k0 :: RuntimeRep) (k1 :: RuntimeRep) (k2 :: RuntimeRep) (k3 :: RuntimeRep) (k4 :: RuntimeRep) (k5 :: RuntimeRep) (k6 :: RuntimeRep) (k7 :: RuntimeRep). TYPE k0 -> TYPE k1 -> TYPE k2 -> TYPE k3 -> TYPE k4 -> TYPE k5 -> TYPE k6 -> TYPE k7 -> TYPE (SumRep [k0, k1, k2, k3, k4, k5, k6, k7])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/baed06c1fbea98d5fb1cec9d22c70845...

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/baed06c1fbea98d5fb1cec9d22c70845...
You're receiving this email because of your account on gitlab.haskell.org.

    

[Git][ghc/ghc][wip/int-index/tuple-tyfam] Add Sum64#

Vladislav Zavialov (＠int-index)