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

Commits:

11 changed files:

Changes:

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

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

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

  • libraries/ghc-experimental/src/Data/Sum/Experimental.hs
    ... ... @@ -79,6 +79,7 @@ module Data.Sum.Experimental (
    79 79 
       Sum61#,
    80 80 
       Sum62#,
    81 81 
       Sum63#,
    82 
    +  Sum64#,
    82 83
    83 84 
       -- * Type families
    84 85 
       TupleArgKind#,
    ... ... @@ -157,3 +158,4 @@ type family Sum# ts where
    157 158 
       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
    158 159 
       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
    159 160 
       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
    161 
    +  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 (
    235 235 
       Sum61#,
    236 236 
       Sum62#,
    237 237 
       Sum63#,
    238 
    +  Sum64#,
    238 239 
       )
    239 240 
     import GHC.Internal.Classes hiding (
    240 241 
       CUnit,

  • libraries/ghc-internal/src/GHC/Internal/Exts.hs
    ... ... @@ -338,6 +338,7 @@ import GHC.Internal.Types
    338 338 
              Sum61#,
    339 339 
              Sum62#,
    340 340 
              Sum63#,
    341 
    +         Sum64#,
    341 342 
       )
    342 343 
     import GHC.Internal.Prim.Ext
    343 344 
     import GHC.Internal.ArrayArray

  • libraries/ghc-internal/src/GHC/Internal/Types.hs
    ... ... @@ -195,6 +195,7 @@ module GHC.Internal.Types (
    195 195 
             Sum61#,
    196 196 
             Sum62#,
    197 197 
             Sum63#,
    198 
    +        Sum64#,
    198 199
    199 200 
         ) where
    200 201
    ... ... @@ -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
    1467 1468 
       (# 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,
    1468 1469 
          u1,v1,w1,x1,y1,z1,a2,b2,c2,d2,e2,f2,g2,h2,i2,j2,k2,l2 #)
    1469 1470
    1470 
    -{-
    1471 
    -Note [Unboxed sum with arity 64]
    1472 
    -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    1473 
    -While tuples are defined up to arity 64, sums can maximally have 63 alternatives.
    1474 
    -This is due to the Unique layout for unboxed sums, which allots only six bits
    1475 
    -for encoding the alternative.
    1476 
    --}
    1477 
    -
    1478 1471 
     type Sum2# :: TYPE r1 -> TYPE r2 -> TYPE (SumRep [r1, r2])
    1479 1472 
     data Sum2# a b =
    1480 1473 
         (# 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
    3675 3668 
       | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | i2 | | #)
    3676 3669 
       | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | j2 | #)
    3677 3670 
       | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | k2 #)
    3671 
    +
    3672 
    +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])
    3673 
    +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 =
    3674 
    +    (# a | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3675 
    +  | (# | b | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3676 
    +  | (# | | c | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3677 
    +  | (# | | | d | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3678 
    +  | (# | | | | e | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3679 
    +  | (# | | | | | f | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3680 
    +  | (# | | | | | | g | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3681 
    +  | (# | | | | | | | h | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3682 
    +  | (# | | | | | | | | i | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3683 
    +  | (# | | | | | | | | | j | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3684 
    +  | (# | | | | | | | | | | k | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3685 
    +  | (# | | | | | | | | | | | l | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3686 
    +  | (# | | | | | | | | | | | | m | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3687 
    +  | (# | | | | | | | | | | | | | n | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3688 
    +  | (# | | | | | | | | | | | | | | o | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3689 
    +  | (# | | | | | | | | | | | | | | | p | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3690 
    +  | (# | | | | | | | | | | | | | | | | q | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3691 
    +  | (# | | | | | | | | | | | | | | | | | r | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3692 
    +  | (# | | | | | | | | | | | | | | | | | | s | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3693 
    +  | (# | | | | | | | | | | | | | | | | | | | t | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3694 
    +  | (# | | | | | | | | | | | | | | | | | | | | u | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3695 
    +  | (# | | | | | | | | | | | | | | | | | | | | | v | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3696 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | w | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3697 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | x | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3698 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | y | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3699 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | z | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3700 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | a1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3701 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | b1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3702 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | c1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3703 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | d1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3704 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | e1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3705 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | f1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3706 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | g1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3707 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | h1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3708 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | i1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3709 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | j1 | | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3710 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | k1 | | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3711 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | l1 | | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3712 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | m1 | | | | | | | | | | | | | | | | | | | | | | | | | #)
    3713 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | n1 | | | | | | | | | | | | | | | | | | | | | | | | #)
    3714 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | o1 | | | | | | | | | | | | | | | | | | | | | | | #)
    3715 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | p1 | | | | | | | | | | | | | | | | | | | | | | #)
    3716 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | q1 | | | | | | | | | | | | | | | | | | | | | #)
    3717 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | r1 | | | | | | | | | | | | | | | | | | | | #)
    3718 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | s1 | | | | | | | | | | | | | | | | | | | #)
    3719 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | t1 | | | | | | | | | | | | | | | | | | #)
    3720 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | u1 | | | | | | | | | | | | | | | | | #)
    3721 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | v1 | | | | | | | | | | | | | | | | #)
    3722 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | w1 | | | | | | | | | | | | | | | #)
    3723 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | x1 | | | | | | | | | | | | | | #)
    3724 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | y1 | | | | | | | | | | | | | #)
    3725 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | z1 | | | | | | | | | | | | #)
    3726 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | a2 | | | | | | | | | | | #)
    3727 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | b2 | | | | | | | | | | #)
    3728 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | c2 | | | | | | | | | #)
    3729 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | d2 | | | | | | | | #)
    3730 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | e2 | | | | | | | #)
    3731 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | f2 | | | | | | #)
    3732 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | g2 | | | | | #)
    3733 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | h2 | | | | #)
    3734 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | i2 | | | #)
    3735 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | j2 | | #)
    3736 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | k2 | #)
    3737 
    +  | (# | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | l2 #)

  • testsuite/tests/interface-stability/ghc-experimental-exports.stdout
    ... ... @@ -256,6 +256,13 @@ module Data.Sum.Experimental where
    256 256 
                (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)
    257 257 
                (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).
    258 258 
           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 #)
    259 
    +    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)
    260 
    +           (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)
    261 
    +           (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)
    262 
    +           (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)
    263 
    +           (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)
    264 
    +           (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).
    265 
    +      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 #)
    259 266 
       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])
    260 267 
       data Sum10# a b c d e f g h i j = ...
    261 268 
       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
    1791 1798 
                      -> TYPE k62
    1792 1799 
                      -> 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])
    1793 1800 
       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 = ...
    1801 
    +  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)
    1802 
    +                        (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)
    1803 
    +                        (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)
    1804 
    +                        (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).
    1805 
    +                 TYPE k0
    1806 
    +                 -> TYPE k1
    1807 
    +                 -> TYPE k2
    1808 
    +                 -> TYPE k3
    1809 
    +                 -> TYPE k4
    1810 
    +                 -> TYPE k5
    1811 
    +                 -> TYPE k6
    1812 
    +                 -> TYPE k7
    1813 
    +                 -> TYPE k8
    1814 
    +                 -> TYPE k9
    1815 
    +                 -> TYPE k10
    1816 
    +                 -> TYPE k11
    1817 
    +                 -> TYPE k12
    1818 
    +                 -> TYPE k13
    1819 
    +                 -> TYPE k14
    1820 
    +                 -> TYPE k15
    1821 
    +                 -> TYPE k16
    1822 
    +                 -> TYPE k17
    1823 
    +                 -> TYPE k18
    1824 
    +                 -> TYPE k19
    1825 
    +                 -> TYPE k20
    1826 
    +                 -> TYPE k21
    1827 
    +                 -> TYPE k22
    1828 
    +                 -> TYPE k23
    1829 
    +                 -> TYPE k24
    1830 
    +                 -> TYPE k25
    1831 
    +                 -> TYPE k26
    1832 
    +                 -> TYPE k27
    1833 
    +                 -> TYPE k28
    1834 
    +                 -> TYPE k29
    1835 
    +                 -> TYPE k30
    1836 
    +                 -> TYPE k31
    1837 
    +                 -> TYPE k32
    1838 
    +                 -> TYPE k33
    1839 
    +                 -> TYPE k34
    1840 
    +                 -> TYPE k35
    1841 
    +                 -> TYPE k36
    1842 
    +                 -> TYPE k37
    1843 
    +                 -> TYPE k38
    1844 
    +                 -> TYPE k39
    1845 
    +                 -> TYPE k40
    1846 
    +                 -> TYPE k41
    1847 
    +                 -> TYPE k42
    1848 
    +                 -> TYPE k43
    1849 
    +                 -> TYPE k44
    1850 
    +                 -> TYPE k45
    1851 
    +                 -> TYPE k46
    1852 
    +                 -> TYPE k47
    1853 
    +                 -> TYPE k48
    1854 
    +                 -> TYPE k49
    1855 
    +                 -> TYPE k50
    1856 
    +                 -> TYPE k51
    1857 
    +                 -> TYPE k52
    1858 
    +                 -> TYPE k53
    1859 
    +                 -> TYPE k54
    1860 
    +                 -> TYPE k55
    1861 
    +                 -> TYPE k56
    1862 
    +                 -> TYPE k57
    1863 
    +                 -> TYPE k58
    1864 
    +                 -> TYPE k59
    1865 
    +                 -> TYPE k60
    1866 
    +                 -> TYPE k61
    1867 
    +                 -> TYPE k62
    1868 
    +                 -> TYPE k63
    1869 
    +                 -> 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])
    1870 
    +  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 = ...
    1794 1871 
       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])
    1795 1872 
       data Sum7# a b c d e f g = ...
    1796 1873 
       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
    9573 9650 
                (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)
    9574 9651 
                (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).
    9575 9652 
           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 #)
    9653 
    +    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)
    9654 
    +           (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)
    9655 
    +           (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)
    9656 
    +           (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)
    9657 
    +           (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)
    9658 
    +           (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).
    9659 
    +      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 #)
    9576 9660 
       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])
    9577 9661 
       data Sum10# a b c d e f g h i j = ...
    9578 9662 
       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
    11108 11192 
                      -> TYPE k62
    11109 11193 
                      -> 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])
    11110 11194 
       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 = ...
    11195 
    +  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)
    11196 
    +                        (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)
    11197 
    +                        (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)
    11198 
    +                        (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).
    11199 
    +                 TYPE k0
    11200 
    +                 -> TYPE k1
    11201 
    +                 -> TYPE k2
    11202 
    +                 -> TYPE k3
    11203 
    +                 -> TYPE k4
    11204 
    +                 -> TYPE k5
    11205 
    +                 -> TYPE k6
    11206 
    +                 -> TYPE k7
    11207 
    +                 -> TYPE k8
    11208 
    +                 -> TYPE k9
    11209 
    +                 -> TYPE k10
    11210 
    +                 -> TYPE k11
    11211 
    +                 -> TYPE k12
    11212 
    +                 -> TYPE k13
    11213 
    +                 -> TYPE k14
    11214 
    +                 -> TYPE k15
    11215 
    +                 -> TYPE k16
    11216 
    +                 -> TYPE k17
    11217 
    +                 -> TYPE k18
    11218 
    +                 -> TYPE k19
    11219 
    +                 -> TYPE k20
    11220 
    +                 -> TYPE k21
    11221 
    +                 -> TYPE k22
    11222 
    +                 -> TYPE k23
    11223 
    +                 -> TYPE k24
    11224 
    +                 -> TYPE k25
    11225 
    +                 -> TYPE k26
    11226 
    +                 -> TYPE k27
    11227 
    +                 -> TYPE k28
    11228 
    +                 -> TYPE k29
    11229 
    +                 -> TYPE k30
    11230 
    +                 -> TYPE k31
    11231 
    +                 -> TYPE k32
    11232 
    +                 -> TYPE k33
    11233 
    +                 -> TYPE k34
    11234 
    +                 -> TYPE k35
    11235 
    +                 -> TYPE k36
    11236 
    +                 -> TYPE k37
    11237 
    +                 -> TYPE k38
    11238 
    +                 -> TYPE k39
    11239 
    +                 -> TYPE k40
    11240 
    +                 -> TYPE k41
    11241 
    +                 -> TYPE k42
    11242 
    +                 -> TYPE k43
    11243 
    +                 -> TYPE k44
    11244 
    +                 -> TYPE k45
    11245 
    +                 -> TYPE k46
    11246 
    +                 -> TYPE k47
    11247 
    +                 -> TYPE k48
    11248 
    +                 -> TYPE k49
    11249 
    +                 -> TYPE k50
    11250 
    +                 -> TYPE k51
    11251 
    +                 -> TYPE k52
    11252 
    +                 -> TYPE k53
    11253 
    +                 -> TYPE k54
    11254 
    +                 -> TYPE k55
    11255 
    +                 -> TYPE k56
    11256 
    +                 -> TYPE k57
    11257 
    +                 -> TYPE k58
    11258 
    +                 -> TYPE k59
    11259 
    +                 -> TYPE k60
    11260 
    +                 -> TYPE k61
    11261 
    +                 -> TYPE k62
    11262 
    +                 -> TYPE k63
    11263 
    +                 -> 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])
    11264 
    +  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 = ...
    11111 11265 
       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])
    11112 11266 
       data Sum7# a b c d e f g = ...
    11113 11267 
       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
    256 256 
                (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)
    257 257 
                (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).
    258 258 
           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 #)
    259 
    +    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)
    260 
    +           (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)
    261 
    +           (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)
    262 
    +           (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)
    263 
    +           (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)
    264 
    +           (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).
    265 
    +      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 #)
    259 266 
       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])
    260 267 
       data Sum10# a b c d e f g h i j = ...
    261 268 
       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
    1791 1798 
                      -> TYPE k62
    1792 1799 
                      -> 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])
    1793 1800 
       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 = ...
    1801 
    +  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)
    1802 
    +                        (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)
    1803 
    +                        (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)
    1804 
    +                        (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).
    1805 
    +                 TYPE k0
    1806 
    +                 -> TYPE k1
    1807 
    +                 -> TYPE k2
    1808 
    +                 -> TYPE k3
    1809 
    +                 -> TYPE k4
    1810 
    +                 -> TYPE k5
    1811 
    +                 -> TYPE k6
    1812 
    +                 -> TYPE k7
    1813 
    +                 -> TYPE k8
    1814 
    +                 -> TYPE k9
    1815 
    +                 -> TYPE k10
    1816 
    +                 -> TYPE k11
    1817 
    +                 -> TYPE k12
    1818 
    +                 -> TYPE k13
    1819 
    +                 -> TYPE k14
    1820 
    +                 -> TYPE k15
    1821 
    +                 -> TYPE k16
    1822 
    +                 -> TYPE k17
    1823 
    +                 -> TYPE k18
    1824 
    +                 -> TYPE k19
    1825 
    +                 -> TYPE k20
    1826 
    +                 -> TYPE k21
    1827 
    +                 -> TYPE k22
    1828 
    +                 -> TYPE k23
    1829 
    +                 -> TYPE k24
    1830 
    +                 -> TYPE k25
    1831 
    +                 -> TYPE k26
    1832 
    +                 -> TYPE k27
    1833 
    +                 -> TYPE k28
    1834 
    +                 -> TYPE k29
    1835 
    +                 -> TYPE k30
    1836 
    +                 -> TYPE k31
    1837 
    +                 -> TYPE k32
    1838 
    +                 -> TYPE k33
    1839 
    +                 -> TYPE k34
    1840 
    +                 -> TYPE k35
    1841 
    +                 -> TYPE k36
    1842 
    +                 -> TYPE k37
    1843 
    +                 -> TYPE k38
    1844 
    +                 -> TYPE k39
    1845 
    +                 -> TYPE k40
    1846 
    +                 -> TYPE k41
    1847 
    +                 -> TYPE k42
    1848 
    +                 -> TYPE k43
    1849 
    +                 -> TYPE k44
    1850 
    +                 -> TYPE k45
    1851 
    +                 -> TYPE k46
    1852 
    +                 -> TYPE k47
    1853 
    +                 -> TYPE k48
    1854 
    +                 -> TYPE k49
    1855 
    +                 -> TYPE k50
    1856 
    +                 -> TYPE k51
    1857 
    +                 -> TYPE k52
    1858 
    +                 -> TYPE k53
    1859 
    +                 -> TYPE k54
    1860 
    +                 -> TYPE k55
    1861 
    +                 -> TYPE k56
    1862 
    +                 -> TYPE k57
    1863 
    +                 -> TYPE k58
    1864 
    +                 -> TYPE k59
    1865 
    +                 -> TYPE k60
    1866 
    +                 -> TYPE k61
    1867 
    +                 -> TYPE k62
    1868 
    +                 -> TYPE k63
    1869 
    +                 -> 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])
    1870 
    +  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 = ...
    1794 1871 
       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])
    1795 1872 
       data Sum7# a b c d e f g = ...
    1796 1873 
       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
    9576 9653 
                (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)
    9577 9654 
                (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).
    9578 9655 
           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 #)
    9656 
    +    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)
    9657 
    +           (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)
    9658 
    +           (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)
    9659 
    +           (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)
    9660 
    +           (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)
    9661 
    +           (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).
    9662 
    +      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 #)
    9579 9663 
       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])
    9580 9664 
       data Sum10# a b c d e f g h i j = ...
    9581 9665 
       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
    11111 11195 
                      -> TYPE k62
    11112 11196 
                      -> 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])
    11113 11197 
       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 = ...
    11198 
    +  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)
    11199 
    +                        (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)
    11200 
    +                        (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)
    11201 
    +                        (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).
    11202 
    +                 TYPE k0
    11203 
    +                 -> TYPE k1
    11204 
    +                 -> TYPE k2
    11205 
    +                 -> TYPE k3
    11206 
    +                 -> TYPE k4
    11207 
    +                 -> TYPE k5
    11208 
    +                 -> TYPE k6
    11209 
    +                 -> TYPE k7
    11210 
    +                 -> TYPE k8
    11211 
    +                 -> TYPE k9
    11212 
    +                 -> TYPE k10
    11213 
    +                 -> TYPE k11
    11214 
    +                 -> TYPE k12
    11215 
    +                 -> TYPE k13
    11216 
    +                 -> TYPE k14
    11217 
    +                 -> TYPE k15
    11218 
    +                 -> TYPE k16
    11219 
    +                 -> TYPE k17
    11220 
    +                 -> TYPE k18
    11221 
    +                 -> TYPE k19
    11222 
    +                 -> TYPE k20
    11223 
    +                 -> TYPE k21
    11224 
    +                 -> TYPE k22
    11225 
    +                 -> TYPE k23
    11226 
    +                 -> TYPE k24
    11227 
    +                 -> TYPE k25
    11228 
    +                 -> TYPE k26
    11229 
    +                 -> TYPE k27
    11230 
    +                 -> TYPE k28
    11231 
    +                 -> TYPE k29
    11232 
    +                 -> TYPE k30
    11233 
    +                 -> TYPE k31
    11234 
    +                 -> TYPE k32
    11235 
    +                 -> TYPE k33
    11236 
    +                 -> TYPE k34
    11237 
    +                 -> TYPE k35
    11238 
    +                 -> TYPE k36
    11239 
    +                 -> TYPE k37
    11240 
    +                 -> TYPE k38
    11241 
    +                 -> TYPE k39
    11242 
    +                 -> TYPE k40
    11243 
    +                 -> TYPE k41
    11244 
    +                 -> TYPE k42
    11245 
    +                 -> TYPE k43
    11246 
    +                 -> TYPE k44
    11247 
    +                 -> TYPE k45
    11248 
    +                 -> TYPE k46
    11249 
    +                 -> TYPE k47
    11250 
    +                 -> TYPE k48
    11251 
    +                 -> TYPE k49
    11252 
    +                 -> TYPE k50
    11253 
    +                 -> TYPE k51
    11254 
    +                 -> TYPE k52
    11255 
    +                 -> TYPE k53
    11256 
    +                 -> TYPE k54
    11257 
    +                 -> TYPE k55
    11258 
    +                 -> TYPE k56
    11259 
    +                 -> TYPE k57
    11260 
    +                 -> TYPE k58
    11261 
    +                 -> TYPE k59
    11262 
    +                 -> TYPE k60
    11263 
    +                 -> TYPE k61
    11264 
    +                 -> TYPE k62
    11265 
    +                 -> TYPE k63
    11266 
    +                 -> 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])
    11267 
    +  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 = ...
    11114 11268 
       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])
    11115 11269 
       data Sum7# a b c d e f g = ...
    11116 11270 
       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
    5373 5373 
                      -> TYPE k62
    5374 5374 
                      -> 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])
    5375 5375 
       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 = ...
    5376 
    +  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)
    5377 
    +                        (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).
    5378 
    +                 TYPE k0
    5379 
    +                 -> TYPE k1
    5380 
    +                 -> TYPE k2
    5381 
    +                 -> TYPE k3
    5382 
    +                 -> TYPE k4
    5383 
    +                 -> TYPE k5
    5384 
    +                 -> TYPE k6
    5385 
    +                 -> TYPE k7
    5386 
    +                 -> TYPE k8
    5387 
    +                 -> TYPE k9
    5388 
    +                 -> TYPE k10
    5389 
    +                 -> TYPE k11
    5390 
    +                 -> TYPE k12
    5391 
    +                 -> TYPE k13
    5392 
    +                 -> TYPE k14
    5393 
    +                 -> TYPE k15
    5394 
    +                 -> TYPE k16
    5395 
    +                 -> TYPE k17
    5396 
    +                 -> TYPE k18
    5397 
    +                 -> TYPE k19
    5398 
    +                 -> TYPE k20
    5399 
    +                 -> TYPE k21
    5400 
    +                 -> TYPE k22
    5401 
    +                 -> TYPE k23
    5402 
    +                 -> TYPE k24
    5403 
    +                 -> TYPE k25
    5404 
    +                 -> TYPE k26
    5405 
    +                 -> TYPE k27
    5406 
    +                 -> TYPE k28
    5407 
    +                 -> TYPE k29
    5408 
    +                 -> TYPE k30
    5409 
    +                 -> TYPE k31
    5410 
    +                 -> TYPE k32
    5411 
    +                 -> TYPE k33
    5412 
    +                 -> TYPE k34
    5413 
    +                 -> TYPE k35
    5414 
    +                 -> TYPE k36
    5415 
    +                 -> TYPE k37
    5416 
    +                 -> TYPE k38
    5417 
    +                 -> TYPE k39
    5418 
    +                 -> TYPE k40
    5419 
    +                 -> TYPE k41
    5420 
    +                 -> TYPE k42
    5421 
    +                 -> TYPE k43
    5422 
    +                 -> TYPE k44
    5423 
    +                 -> TYPE k45
    5424 
    +                 -> TYPE k46
    5425 
    +                 -> TYPE k47
    5426 
    +                 -> TYPE k48
    5427 
    +                 -> TYPE k49
    5428 
    +                 -> TYPE k50
    5429 
    +                 -> TYPE k51
    5430 
    +                 -> TYPE k52
    5431 
    +                 -> TYPE k53
    5432 
    +                 -> TYPE k54
    5433 
    +                 -> TYPE k55
    5434 
    +                 -> TYPE k56
    5435 
    +                 -> TYPE k57
    5436 
    +                 -> TYPE k58
    5437 
    +                 -> TYPE k59
    5438 
    +                 -> TYPE k60
    5439 
    +                 -> TYPE k61
    5440 
    +                 -> TYPE k62
    5441 
    +                 -> TYPE k63
    5442 
    +                 -> 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])
    5443 
    +  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 = ...
    5376 5444 
       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])
    5377 5445 
       data Sum7# a b c d e f g = ...
    5378 5446 
       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
    5376 5376 
                      -> TYPE k62
    5377 5377 
                      -> 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])
    5378 5378 
       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 = ...
    5379 
    +  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)
    5380 
    +                        (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).
    5381 
    +                 TYPE k0
    5382 
    +                 -> TYPE k1
    5383 
    +                 -> TYPE k2
    5384 
    +                 -> TYPE k3
    5385 
    +                 -> TYPE k4
    5386 
    +                 -> TYPE k5
    5387 
    +                 -> TYPE k6
    5388 
    +                 -> TYPE k7
    5389 
    +                 -> TYPE k8
    5390 
    +                 -> TYPE k9
    5391 
    +                 -> TYPE k10
    5392 
    +                 -> TYPE k11
    5393 
    +                 -> TYPE k12
    5394 
    +                 -> TYPE k13
    5395 
    +                 -> TYPE k14
    5396 
    +                 -> TYPE k15
    5397 
    +                 -> TYPE k16
    5398 
    +                 -> TYPE k17
    5399 
    +                 -> TYPE k18
    5400 
    +                 -> TYPE k19
    5401 
    +                 -> TYPE k20
    5402 
    +                 -> TYPE k21
    5403 
    +                 -> TYPE k22
    5404 
    +                 -> TYPE k23
    5405 
    +                 -> TYPE k24
    5406 
    +                 -> TYPE k25
    5407 
    +                 -> TYPE k26
    5408 
    +                 -> TYPE k27
    5409 
    +                 -> TYPE k28
    5410 
    +                 -> TYPE k29
    5411 
    +                 -> TYPE k30
    5412 
    +                 -> TYPE k31
    5413 
    +                 -> TYPE k32
    5414 
    +                 -> TYPE k33
    5415 
    +                 -> TYPE k34
    5416 
    +                 -> TYPE k35
    5417 
    +                 -> TYPE k36
    5418 
    +                 -> TYPE k37
    5419 
    +                 -> TYPE k38
    5420 
    +                 -> TYPE k39
    5421 
    +                 -> TYPE k40
    5422 
    +                 -> TYPE k41
    5423 
    +                 -> TYPE k42
    5424 
    +                 -> TYPE k43
    5425 
    +                 -> TYPE k44
    5426 
    +                 -> TYPE k45
    5427 
    +                 -> TYPE k46
    5428 
    +                 -> TYPE k47
    5429 
    +                 -> TYPE k48
    5430 
    +                 -> TYPE k49
    5431 
    +                 -> TYPE k50
    5432 
    +                 -> TYPE k51
    5433 
    +                 -> TYPE k52
    5434 
    +                 -> TYPE k53
    5435 
    +                 -> TYPE k54
    5436 
    +                 -> TYPE k55
    5437 
    +                 -> TYPE k56
    5438 
    +                 -> TYPE k57
    5439 
    +                 -> TYPE k58
    5440 
    +                 -> TYPE k59
    5441 
    +                 -> TYPE k60
    5442 
    +                 -> TYPE k61
    5443 
    +                 -> TYPE k62
    5444 
    +                 -> TYPE k63
    5445 
    +                 -> 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])
    5446 
    +  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 = ...
    5379 5447 
       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])
    5380 5448 
       data Sum7# a b c d e f g = ...
    5381 5449 
       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.
    You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications · Help