typelevel-tools-yj 0.1.0.8 → 0.1.0.9
raw patch · 2 files changed
+9/−3 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Data.TypeLevel.List: class (xs :: [k]) `IsPrefixOf` (ys :: [k])
+ Data.TypeLevel.List: class IsPrefixOf (xs :: [k]) (ys :: [k])
+ Data.TypeLevel.List: type family Append (xs :: [a]) (ys :: [a]) :: [a]
- Data.TypeLevel.List.Push: type family Push62 (a_a8RK :: ka_a8SK) (b_a8RL :: kb_a8SL) (c_a8RM :: kc_a8SM) (d_a8RN :: kd_a8SN) (e_a8RO :: ke_a8SO) (f_a8RP :: kf_a8SP) (g_a8RQ :: kg_a8SQ) (h_a8RR :: kh_a8SR) (i_a8RS :: ki_a8SS) (j_a8RT :: kj_a8ST) (k_a8RU :: kk_a8SU) (l_a8RV :: kl_a8SV) (m_a8RW :: km_a8SW) (n_a8RX :: kn_a8SX) (o_a8RY :: ko_a8SY) (p_a8RZ :: kp_a8SZ) (q_a8S0 :: kq_a8T0) (r_a8S1 :: kr_a8T1) (s_a8S2 :: ks_a8T2) (t_a8S3 :: kt_a8T3) (u_a8S4 :: ku_a8T4) (v_a8S5 :: kv_a8T5) (w_a8S6 :: kw_a8T6) (x_a8S7 :: kx_a8T7) (y_a8S8 :: ky_a8T8) (z_a8S9 :: kz_a8T9) (aa_a8Sa :: kaa_a8Ta) (ab_a8Sb :: kab_a8Tb) (ac_a8Sc :: kac_a8Tc) (ad_a8Sd :: kad_a8Td) (ae_a8Se :: kae_a8Te) (af_a8Sf :: kaf_a8Tf) (ag_a8Sg :: kag_a8Tg) (ah_a8Sh :: kah_a8Th) (ai_a8Si :: kai_a8Ti) (aj_a8Sj :: kaj_a8Tj) (ak_a8Sk :: kak_a8Tk) (al_a8Sl :: kal_a8Tl) (am_a8Sm :: kam_a8Tm) (an_a8Sn :: kan_a8Tn) (ao_a8So :: kao_a8To) (ap_a8Sp :: kap_a8Tp) (aq_a8Sq :: kaq_a8Tq) (ar_a8Sr :: kar_a8Tr) (as_a8Ss :: kas_a8Ts) (at_a8St :: kat_a8Tt) (au_a8Su :: kau_a8Tu) (av_a8Sv :: kav_a8Tv) (aw_a8Sw :: kaw_a8Tw) (ax_a8Sx :: kax_a8Tx) (ay_a8Sy :: kay_a8Ty) (az_a8Sz :: kaz_a8Tz) (ba_a8SA :: kba_a8TA) (bb_a8SB :: kbb_a8TB) (bc_a8SC :: kbc_a8TC) (bd_a8SD :: kbd_a8TD) (be_a8SE :: kbe_a8TE) (bf_a8SF :: kbf_a8TF) (bg_a8SG :: kbg_a8TG) (bh_a8SH :: kbh_a8TH) (bi_a8SI :: kbi_a8TI) (bj_a8SJ :: kbj_a8TJ) abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbibjs_a8RJ
+ Data.TypeLevel.List.Push: type family Push2 (a :: ka) (b :: kb) (abs :: ([ka], [kb])) :: ([ka], [kb])
- Data.TypeLevel.List.Unzip: type family Unzip62 (abcdefghijklmnopqrstuvwxyzaaabacadaeafagahaiajakalamanaoapaqarasatauavawaxayazbabbbcbdbebfbgbhbibjs_ahFv :: [(ka_ahGw, kb_ahGx, kc_ahGy, kd_ahGz, ke_ahGA, kf_ahGB, kg_ahGC, kh_ahGD, ki_ahGE, kj_ahGF, kk_ahGG, kl_ahGH, km_ahGI, kn_ahGJ, ko_ahGK, kp_ahGL, kq_ahGM, kr_ahGN, ks_ahGO, kt_ahGP, ku_ahGQ, kv_ahGR, kw_ahGS, kx_ahGT, ky_ahGU, kz_ahGV, kaa_ahGW, kab_ahGX, kac_ahGY, kad_ahGZ, kae_ahH0, kaf_ahH1, kag_ahH2, kah_ahH3, kai_ahH4, kaj_ahH5, kak_ahH6, kal_ahH7, kam_ahH8, kan_ahH9, kao_ahHa, kap_ahHb, kaq_ahHc, kar_ahHd, kas_ahHe, kat_ahHf, kau_ahHg, kav_ahHh, kaw_ahHi, kax_ahHj, kay_ahHk, kaz_ahHl, kba_ahHm, kbb_ahHn, kbc_ahHo, kbd_ahHp, kbe_ahHq, kbf_ahHr, kbg_ahHs, kbh_ahHt, kbi_ahHu, kbj_ahHv)])
+ Data.TypeLevel.List.Unzip: type family Unzip2 (abs :: [(ka, kb)]) :: ([ka], [kb])
- Data.TypeLevel.List.Zip: type family Zip10 (a_aqwX :: [k0_aqxr]) (b_aqwY :: [k1_aqxs]) (c_aqwZ :: [k2_aqxt]) (d_aqx0 :: [k3_aqxu]) (e_aqx1 :: [k4_aqxv]) (f_aqx2 :: [k5_aqxw]) (g_aqx3 :: [k6_aqxx]) (h_aqx4 :: [k7_aqxy]) (i_aqx5 :: [k8_aqxz]) (j_aqx6 :: [k9_aqxA])
+ Data.TypeLevel.List.Zip: type family Zip2 (a :: [k0]) (b :: [k1]) :: [(k0, k1)]
- Data.TypeLevel.Maybe: pattern N :: M 'Nothing
+ Data.TypeLevel.Maybe: pattern N :: M ('Nothing :: Maybe Type)
- Data.TypeLevel.ParMaybe: [J] :: t a -> M t ('Just a)
+ Data.TypeLevel.ParMaybe: [J] :: forall {k} (t :: k -> Type) (a :: k). t a -> M t ('Just a)
- Data.TypeLevel.ParMaybe: [N] :: M t 'Nothing
+ Data.TypeLevel.ParMaybe: [N] :: forall {k} (t :: k -> Type). M t ('Nothing :: Maybe k)
- Data.TypeLevel.ParMaybe: map :: (forall s. t s -> t' (f s)) -> M t ms -> M t' (Map f ms)
+ Data.TypeLevel.ParMaybe: map :: forall {k1} {k2} t t' (f :: k1 -> k2) (ms :: Maybe k1). (forall (s :: k1). () => t s -> t' (f s)) -> M t ms -> M t' (Map f ms)
- Data.TypeLevel.ParMaybe: maybe :: a -> (forall s. t s -> a) -> M t ms -> a
+ Data.TypeLevel.ParMaybe: maybe :: forall {k} a t (ms :: Maybe k). a -> (forall (s :: k). () => t s -> a) -> M t ms -> a
- Data.TypeLevel.ParMaybe: nil :: M (t :: k -> Type) 'Nothing
+ Data.TypeLevel.ParMaybe: nil :: forall k (t :: k -> Type). M t ('Nothing :: Maybe k)
- Data.TypeLevel.ParMaybe: type family Map (f :: k -> l) (m :: Maybe k)
+ Data.TypeLevel.ParMaybe: type family Map (f :: k -> l) (m :: Maybe k) :: Maybe l
- Data.TypeLevel.Tuple.Index: type family I0'1_3 (abc_axDY :: (k0_axE2, k1_axE3, k2_axE4))
+ Data.TypeLevel.Tuple.Index: type family I6'7_8 (abcdefgh :: (k0, k1, k2, k3, k4, k5, k6, k7)) :: (k6, k7)
- Data.TypeLevel.Tuple.MapIndex: type family M0'1'2'3'4'5'6_8 (abcdefgh_aJJ6 :: [(k0_aJJf, k1_aJJg, k2_aJJh, k3_aJJi, k4_aJJj, k5_aJJk, k6_aJJl, k7_aJJm)])
+ Data.TypeLevel.Tuple.MapIndex: type family M1'2_3 (abc :: [(k0, k1, k2)]) :: [(k1, k2)]
- Data.TypeLevel.Tuple.Uncurry: [U10] :: t_aUWn s1_aUWo s2_aUWp s3_aUWq s4_aUWr s5_aUWs s6_aUWt s7_aUWu s8_aUWv s9_aUWw s10_aUWx -> U10 t_aUWn '(s1_aUWo, s2_aUWp, s3_aUWq, s4_aUWr, s5_aUWs, s6_aUWt, s7_aUWu, s8_aUWv, s9_aUWw, s10_aUWx)
+ Data.TypeLevel.Tuple.Uncurry: [U10] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 -> U10 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10)
- Data.TypeLevel.Tuple.Uncurry: [U11] :: t_aUWy s1_aUWz s2_aUWA s3_aUWB s4_aUWC s5_aUWD s6_aUWE s7_aUWF s8_aUWG s9_aUWH s10_aUWI s11_aUWJ -> U11 t_aUWy '(s1_aUWz, s2_aUWA, s3_aUWB, s4_aUWC, s5_aUWD, s6_aUWE, s7_aUWF, s8_aUWG, s9_aUWH, s10_aUWI, s11_aUWJ)
+ Data.TypeLevel.Tuple.Uncurry: [U11] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 -> U11 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11)
- Data.TypeLevel.Tuple.Uncurry: [U12] :: t_aUWK s1_aUWL s2_aUWM s3_aUWN s4_aUWO s5_aUWP s6_aUWQ s7_aUWR s8_aUWS s9_aUWT s10_aUWU s11_aUWV s12_aUWW -> U12 t_aUWK '(s1_aUWL, s2_aUWM, s3_aUWN, s4_aUWO, s5_aUWP, s6_aUWQ, s7_aUWR, s8_aUWS, s9_aUWT, s10_aUWU, s11_aUWV, s12_aUWW)
+ Data.TypeLevel.Tuple.Uncurry: [U12] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 -> U12 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12)
- Data.TypeLevel.Tuple.Uncurry: [U13] :: t_aUWX s1_aUWY s2_aUWZ s3_aUX0 s4_aUX1 s5_aUX2 s6_aUX3 s7_aUX4 s8_aUX5 s9_aUX6 s10_aUX7 s11_aUX8 s12_aUX9 s13_aUXa -> U13 t_aUWX '(s1_aUWY, s2_aUWZ, s3_aUX0, s4_aUX1, s5_aUX2, s6_aUX3, s7_aUX4, s8_aUX5, s9_aUX6, s10_aUX7, s11_aUX8, s12_aUX9, s13_aUXa)
+ Data.TypeLevel.Tuple.Uncurry: [U13] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 -> U13 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13)
- Data.TypeLevel.Tuple.Uncurry: [U14] :: t_aUXb s1_aUXc s2_aUXd s3_aUXe s4_aUXf s5_aUXg s6_aUXh s7_aUXi s8_aUXj s9_aUXk s10_aUXl s11_aUXm s12_aUXn s13_aUXo s14_aUXp -> U14 t_aUXb '(s1_aUXc, s2_aUXd, s3_aUXe, s4_aUXf, s5_aUXg, s6_aUXh, s7_aUXi, s8_aUXj, s9_aUXk, s10_aUXl, s11_aUXm, s12_aUXn, s13_aUXo, s14_aUXp)
+ Data.TypeLevel.Tuple.Uncurry: [U14] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 -> U14 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14)
- Data.TypeLevel.Tuple.Uncurry: [U15] :: t_aUXq s1_aUXr s2_aUXs s3_aUXt s4_aUXu s5_aUXv s6_aUXw s7_aUXx s8_aUXy s9_aUXz s10_aUXA s11_aUXB s12_aUXC s13_aUXD s14_aUXE s15_aUXF -> U15 t_aUXq '(s1_aUXr, s2_aUXs, s3_aUXt, s4_aUXu, s5_aUXv, s6_aUXw, s7_aUXx, s8_aUXy, s9_aUXz, s10_aUXA, s11_aUXB, s12_aUXC, s13_aUXD, s14_aUXE, s15_aUXF)
+ Data.TypeLevel.Tuple.Uncurry: [U15] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 -> U15 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15)
- Data.TypeLevel.Tuple.Uncurry: [U16] :: t_aUXG s1_aUXH s2_aUXI s3_aUXJ s4_aUXK s5_aUXL s6_aUXM s7_aUXN s8_aUXO s9_aUXP s10_aUXQ s11_aUXR s12_aUXS s13_aUXT s14_aUXU s15_aUXV s16_aUXW -> U16 t_aUXG '(s1_aUXH, s2_aUXI, s3_aUXJ, s4_aUXK, s5_aUXL, s6_aUXM, s7_aUXN, s8_aUXO, s9_aUXP, s10_aUXQ, s11_aUXR, s12_aUXS, s13_aUXT, s14_aUXU, s15_aUXV, s16_aUXW)
+ Data.TypeLevel.Tuple.Uncurry: [U16] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 -> U16 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16)
- Data.TypeLevel.Tuple.Uncurry: [U17] :: t_aUXX s1_aUXY s2_aUXZ s3_aUY0 s4_aUY1 s5_aUY2 s6_aUY3 s7_aUY4 s8_aUY5 s9_aUY6 s10_aUY7 s11_aUY8 s12_aUY9 s13_aUYa s14_aUYb s15_aUYc s16_aUYd s17_aUYe -> U17 t_aUXX '(s1_aUXY, s2_aUXZ, s3_aUY0, s4_aUY1, s5_aUY2, s6_aUY3, s7_aUY4, s8_aUY5, s9_aUY6, s10_aUY7, s11_aUY8, s12_aUY9, s13_aUYa, s14_aUYb, s15_aUYc, s16_aUYd, s17_aUYe)
+ Data.TypeLevel.Tuple.Uncurry: [U17] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 -> U17 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17)
- Data.TypeLevel.Tuple.Uncurry: [U18] :: t_aUYf s1_aUYg s2_aUYh s3_aUYi s4_aUYj s5_aUYk s6_aUYl s7_aUYm s8_aUYn s9_aUYo s10_aUYp s11_aUYq s12_aUYr s13_aUYs s14_aUYt s15_aUYu s16_aUYv s17_aUYw s18_aUYx -> U18 t_aUYf '(s1_aUYg, s2_aUYh, s3_aUYi, s4_aUYj, s5_aUYk, s6_aUYl, s7_aUYm, s8_aUYn, s9_aUYo, s10_aUYp, s11_aUYq, s12_aUYr, s13_aUYs, s14_aUYt, s15_aUYu, s16_aUYv, s17_aUYw, s18_aUYx)
+ Data.TypeLevel.Tuple.Uncurry: [U18] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 -> U18 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18)
- Data.TypeLevel.Tuple.Uncurry: [U19] :: t_aUYy s1_aUYz s2_aUYA s3_aUYB s4_aUYC s5_aUYD s6_aUYE s7_aUYF s8_aUYG s9_aUYH s10_aUYI s11_aUYJ s12_aUYK s13_aUYL s14_aUYM s15_aUYN s16_aUYO s17_aUYP s18_aUYQ s19_aUYR -> U19 t_aUYy '(s1_aUYz, s2_aUYA, s3_aUYB, s4_aUYC, s5_aUYD, s6_aUYE, s7_aUYF, s8_aUYG, s9_aUYH, s10_aUYI, s11_aUYJ, s12_aUYK, s13_aUYL, s14_aUYM, s15_aUYN, s16_aUYO, s17_aUYP, s18_aUYQ, s19_aUYR)
+ Data.TypeLevel.Tuple.Uncurry: [U19] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} {k18} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 -> U19 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19)
- Data.TypeLevel.Tuple.Uncurry: [U20] :: t_aUYS s1_aUYT s2_aUYU s3_aUYV s4_aUYW s5_aUYX s6_aUYY s7_aUYZ s8_aUZ0 s9_aUZ1 s10_aUZ2 s11_aUZ3 s12_aUZ4 s13_aUZ5 s14_aUZ6 s15_aUZ7 s16_aUZ8 s17_aUZ9 s18_aUZa s19_aUZb s20_aUZc -> U20 t_aUYS '(s1_aUYT, s2_aUYU, s3_aUYV, s4_aUYW, s5_aUYX, s6_aUYY, s7_aUYZ, s8_aUZ0, s9_aUZ1, s10_aUZ2, s11_aUZ3, s12_aUZ4, s13_aUZ5, s14_aUZ6, s15_aUZ7, s16_aUZ8, s17_aUZ9, s18_aUZa, s19_aUZb, s20_aUZc)
+ Data.TypeLevel.Tuple.Uncurry: [U20] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} {k18} {k19} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 -> U20 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20)
- Data.TypeLevel.Tuple.Uncurry: [U21] :: t_aUZd s1_aUZe s2_aUZf s3_aUZg s4_aUZh s5_aUZi s6_aUZj s7_aUZk s8_aUZl s9_aUZm s10_aUZn s11_aUZo s12_aUZp s13_aUZq s14_aUZr s15_aUZs s16_aUZt s17_aUZu s18_aUZv s19_aUZw s20_aUZx s21_aUZy -> U21 t_aUZd '(s1_aUZe, s2_aUZf, s3_aUZg, s4_aUZh, s5_aUZi, s6_aUZj, s7_aUZk, s8_aUZl, s9_aUZm, s10_aUZn, s11_aUZo, s12_aUZp, s13_aUZq, s14_aUZr, s15_aUZs, s16_aUZt, s17_aUZu, s18_aUZv, s19_aUZw, s20_aUZx, s21_aUZy)
+ Data.TypeLevel.Tuple.Uncurry: [U21] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} {k18} {k19} {k20} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 -> U21 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21)
- Data.TypeLevel.Tuple.Uncurry: [U22] :: t_aUZz s1_aUZA s2_aUZB s3_aUZC s4_aUZD s5_aUZE s6_aUZF s7_aUZG s8_aUZH s9_aUZI s10_aUZJ s11_aUZK s12_aUZL s13_aUZM s14_aUZN s15_aUZO s16_aUZP s17_aUZQ s18_aUZR s19_aUZS s20_aUZT s21_aUZU s22_aUZV -> U22 t_aUZz '(s1_aUZA, s2_aUZB, s3_aUZC, s4_aUZD, s5_aUZE, s6_aUZF, s7_aUZG, s8_aUZH, s9_aUZI, s10_aUZJ, s11_aUZK, s12_aUZL, s13_aUZM, s14_aUZN, s15_aUZO, s16_aUZP, s17_aUZQ, s18_aUZR, s19_aUZS, s20_aUZT, s21_aUZU, s22_aUZV)
+ Data.TypeLevel.Tuple.Uncurry: [U22] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} {k18} {k19} {k20} {k21} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 -> U22 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22)
- Data.TypeLevel.Tuple.Uncurry: [U23] :: t_aUZW s1_aUZX s2_aUZY s3_aUZZ s4_aV00 s5_aV01 s6_aV02 s7_aV03 s8_aV04 s9_aV05 s10_aV06 s11_aV07 s12_aV08 s13_aV09 s14_aV0a s15_aV0b s16_aV0c s17_aV0d s18_aV0e s19_aV0f s20_aV0g s21_aV0h s22_aV0i s23_aV0j -> U23 t_aUZW '(s1_aUZX, s2_aUZY, s3_aUZZ, s4_aV00, s5_aV01, s6_aV02, s7_aV03, s8_aV04, s9_aV05, s10_aV06, s11_aV07, s12_aV08, s13_aV09, s14_aV0a, s15_aV0b, s16_aV0c, s17_aV0d, s18_aV0e, s19_aV0f, s20_aV0g, s21_aV0h, s22_aV0i, s23_aV0j)
+ Data.TypeLevel.Tuple.Uncurry: [U23] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} {k18} {k19} {k20} {k21} {k22} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> k22 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 -> U23 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23)
- Data.TypeLevel.Tuple.Uncurry: [U24] :: t_aV0k s1_aV0l s2_aV0m s3_aV0n s4_aV0o s5_aV0p s6_aV0q s7_aV0r s8_aV0s s9_aV0t s10_aV0u s11_aV0v s12_aV0w s13_aV0x s14_aV0y s15_aV0z s16_aV0A s17_aV0B s18_aV0C s19_aV0D s20_aV0E s21_aV0F s22_aV0G s23_aV0H s24_aV0I -> U24 t_aV0k '(s1_aV0l, s2_aV0m, s3_aV0n, s4_aV0o, s5_aV0p, s6_aV0q, s7_aV0r, s8_aV0s, s9_aV0t, s10_aV0u, s11_aV0v, s12_aV0w, s13_aV0x, s14_aV0y, s15_aV0z, s16_aV0A, s17_aV0B, s18_aV0C, s19_aV0D, s20_aV0E, s21_aV0F, s22_aV0G, s23_aV0H, s24_aV0I)
+ Data.TypeLevel.Tuple.Uncurry: [U24] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} {k18} {k19} {k20} {k21} {k22} {k23} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> k22 -> k23 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 -> U24 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24)
- Data.TypeLevel.Tuple.Uncurry: [U25] :: t_aV0J s1_aV0K s2_aV0L s3_aV0M s4_aV0N s5_aV0O s6_aV0P s7_aV0Q s8_aV0R s9_aV0S s10_aV0T s11_aV0U s12_aV0V s13_aV0W s14_aV0X s15_aV0Y s16_aV0Z s17_aV10 s18_aV11 s19_aV12 s20_aV13 s21_aV14 s22_aV15 s23_aV16 s24_aV17 s25_aV18 -> U25 t_aV0J '(s1_aV0K, s2_aV0L, s3_aV0M, s4_aV0N, s5_aV0O, s6_aV0P, s7_aV0Q, s8_aV0R, s9_aV0S, s10_aV0T, s11_aV0U, s12_aV0V, s13_aV0W, s14_aV0X, s15_aV0Y, s16_aV0Z, s17_aV10, s18_aV11, s19_aV12, s20_aV13, s21_aV14, s22_aV15, s23_aV16, s24_aV17, s25_aV18)
+ Data.TypeLevel.Tuple.Uncurry: [U25] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} {k9} {k10} {k11} {k12} {k13} {k14} {k15} {k16} {k17} {k18} {k19} {k20} {k21} {k22} {k23} {k24} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> k22 -> k23 -> k24 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 -> U25 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25)
- Data.TypeLevel.Tuple.Uncurry: [U26] :: t_aV19 s1_aV1a s2_aV1b s3_aV1c s4_aV1d s5_aV1e s6_aV1f s7_aV1g s8_aV1h s9_aV1i s10_aV1j s11_aV1k s12_aV1l s13_aV1m s14_aV1n s15_aV1o s16_aV1p s17_aV1q s18_aV1r s19_aV1s s20_aV1t s21_aV1u s22_aV1v s23_aV1w s24_aV1x s25_aV1y s26_aV1z -> U26 t_aV19 '(s1_aV1a, s2_aV1b, s3_aV1c, s4_aV1d, s5_aV1e, s6_aV1f, s7_aV1g, s8_aV1h, s9_aV1i, s10_aV1j, s11_aV1k, s12_aV1l, s13_aV1m, s14_aV1n, s15_aV1o, s16_aV1p, s17_aV1q, s18_aV1r, s19_aV1s, s20_aV1t, s21_aV1u, s22_aV1v, s23_aV1w, s24_aV1x, s25_aV1y, s26_aV1z)
+ Data.TypeLevel.Tuple.Uncurry: [U26] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 -> U26 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26)
- Data.TypeLevel.Tuple.Uncurry: [U27] :: t_aV1A s1_aV1B s2_aV1C s3_aV1D s4_aV1E s5_aV1F s6_aV1G s7_aV1H s8_aV1I s9_aV1J s10_aV1K s11_aV1L s12_aV1M s13_aV1N s14_aV1O s15_aV1P s16_aV1Q s17_aV1R s18_aV1S s19_aV1T s20_aV1U s21_aV1V s22_aV1W s23_aV1X s24_aV1Y s25_aV1Z s26_aV20 s27_aV21 -> U27 t_aV1A '(s1_aV1B, s2_aV1C, s3_aV1D, s4_aV1E, s5_aV1F, s6_aV1G, s7_aV1H, s8_aV1I, s9_aV1J, s10_aV1K, s11_aV1L, s12_aV1M, s13_aV1N, s14_aV1O, s15_aV1P, s16_aV1Q, s17_aV1R, s18_aV1S, s19_aV1T, s20_aV1U, s21_aV1V, s22_aV1W, s23_aV1X, s24_aV1Y, s25_aV1Z, s26_aV20, s27_aV21)
+ Data.TypeLevel.Tuple.Uncurry: [U27] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 -> U27 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27)
- Data.TypeLevel.Tuple.Uncurry: [U28] :: t_aV22 s1_aV23 s2_aV24 s3_aV25 s4_aV26 s5_aV27 s6_aV28 s7_aV29 s8_aV2a s9_aV2b s10_aV2c s11_aV2d s12_aV2e s13_aV2f s14_aV2g s15_aV2h s16_aV2i s17_aV2j s18_aV2k s19_aV2l s20_aV2m s21_aV2n s22_aV2o s23_aV2p s24_aV2q s25_aV2r s26_aV2s s27_aV2t s28_aV2u -> U28 t_aV22 '(s1_aV23, s2_aV24, s3_aV25, s4_aV26, s5_aV27, s6_aV28, s7_aV29, s8_aV2a, s9_aV2b, s10_aV2c, s11_aV2d, s12_aV2e, s13_aV2f, s14_aV2g, s15_aV2h, s16_aV2i, s17_aV2j, s18_aV2k, s19_aV2l, s20_aV2m, s21_aV2n, s22_aV2o, s23_aV2p, s24_aV2q, s25_aV2r, s26_aV2s, s27_aV2t, s28_aV2u)
+ Data.TypeLevel.Tuple.Uncurry: [U28] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 -> U28 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28)
- Data.TypeLevel.Tuple.Uncurry: [U29] :: t_aV2v s1_aV2w s2_aV2x s3_aV2y s4_aV2z s5_aV2A s6_aV2B s7_aV2C s8_aV2D s9_aV2E s10_aV2F s11_aV2G s12_aV2H s13_aV2I s14_aV2J s15_aV2K s16_aV2L s17_aV2M s18_aV2N s19_aV2O s20_aV2P s21_aV2Q s22_aV2R s23_aV2S s24_aV2T s25_aV2U s26_aV2V s27_aV2W s28_aV2X s29_aV2Y -> U29 t_aV2v '(s1_aV2w, s2_aV2x, s3_aV2y, s4_aV2z, s5_aV2A, s6_aV2B, s7_aV2C, s8_aV2D, s9_aV2E, s10_aV2F, s11_aV2G, s12_aV2H, s13_aV2I, s14_aV2J, s15_aV2K, s16_aV2L, s17_aV2M, s18_aV2N, s19_aV2O, s20_aV2P, s21_aV2Q, s22_aV2R, s23_aV2S, s24_aV2T, s25_aV2U, s26_aV2V, s27_aV2W, s28_aV2X, s29_aV2Y)
+ Data.TypeLevel.Tuple.Uncurry: [U29] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 -> U29 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29)
- Data.TypeLevel.Tuple.Uncurry: [U2] :: t_aUVx s1_aUVy s2_aUVz -> U2 t_aUVx '(s1_aUVy, s2_aUVz)
+ Data.TypeLevel.Tuple.Uncurry: [U2] :: forall {k} {k1} (t :: k -> k1 -> Type) (s1 :: k) (s2 :: k1). t s1 s2 -> U2 t '(s1, s2)
- Data.TypeLevel.Tuple.Uncurry: [U30] :: t_aV2Z s1_aV30 s2_aV31 s3_aV32 s4_aV33 s5_aV34 s6_aV35 s7_aV36 s8_aV37 s9_aV38 s10_aV39 s11_aV3a s12_aV3b s13_aV3c s14_aV3d s15_aV3e s16_aV3f s17_aV3g s18_aV3h s19_aV3i s20_aV3j s21_aV3k s22_aV3l s23_aV3m s24_aV3n s25_aV3o s26_aV3p s27_aV3q s28_aV3r s29_aV3s s30_aV3t -> U30 t_aV2Z '(s1_aV30, s2_aV31, s3_aV32, s4_aV33, s5_aV34, s6_aV35, s7_aV36, s8_aV37, s9_aV38, s10_aV39, s11_aV3a, s12_aV3b, s13_aV3c, s14_aV3d, s15_aV3e, s16_aV3f, s17_aV3g, s18_aV3h, s19_aV3i, s20_aV3j, s21_aV3k, s22_aV3l, s23_aV3m, s24_aV3n, s25_aV3o, s26_aV3p, s27_aV3q, s28_aV3r, s29_aV3s, s30_aV3t)
+ Data.TypeLevel.Tuple.Uncurry: [U30] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 -> U30 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30)
- Data.TypeLevel.Tuple.Uncurry: [U31] :: t_aV3u s1_aV3v s2_aV3w s3_aV3x s4_aV3y s5_aV3z s6_aV3A s7_aV3B s8_aV3C s9_aV3D s10_aV3E s11_aV3F s12_aV3G s13_aV3H s14_aV3I s15_aV3J s16_aV3K s17_aV3L s18_aV3M s19_aV3N s20_aV3O s21_aV3P s22_aV3Q s23_aV3R s24_aV3S s25_aV3T s26_aV3U s27_aV3V s28_aV3W s29_aV3X s30_aV3Y s31_aV3Z -> U31 t_aV3u '(s1_aV3v, s2_aV3w, s3_aV3x, s4_aV3y, s5_aV3z, s6_aV3A, s7_aV3B, s8_aV3C, s9_aV3D, s10_aV3E, s11_aV3F, s12_aV3G, s13_aV3H, s14_aV3I, s15_aV3J, s16_aV3K, s17_aV3L, s18_aV3M, s19_aV3N, s20_aV3O, s21_aV3P, s22_aV3Q, s23_aV3R, s24_aV3S, s25_aV3T, s26_aV3U, s27_aV3V, s28_aV3W, s29_aV3X, s30_aV3Y, s31_aV3Z)
+ Data.TypeLevel.Tuple.Uncurry: [U31] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 -> U31 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31)
- Data.TypeLevel.Tuple.Uncurry: [U32] :: t_aV40 s1_aV41 s2_aV42 s3_aV43 s4_aV44 s5_aV45 s6_aV46 s7_aV47 s8_aV48 s9_aV49 s10_aV4a s11_aV4b s12_aV4c s13_aV4d s14_aV4e s15_aV4f s16_aV4g s17_aV4h s18_aV4i s19_aV4j s20_aV4k s21_aV4l s22_aV4m s23_aV4n s24_aV4o s25_aV4p s26_aV4q s27_aV4r s28_aV4s s29_aV4t s30_aV4u s31_aV4v s32_aV4w -> U32 t_aV40 '(s1_aV41, s2_aV42, s3_aV43, s4_aV44, s5_aV45, s6_aV46, s7_aV47, s8_aV48, s9_aV49, s10_aV4a, s11_aV4b, s12_aV4c, s13_aV4d, s14_aV4e, s15_aV4f, s16_aV4g, s17_aV4h, s18_aV4i, s19_aV4j, s20_aV4k, s21_aV4l, s22_aV4m, s23_aV4n, s24_aV4o, s25_aV4p, s26_aV4q, s27_aV4r, s28_aV4s, s29_aV4t, s30_aV4u, s31_aV4v, s32_aV4w)
+ Data.TypeLevel.Tuple.Uncurry: [U32] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 -> U32 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32)
- Data.TypeLevel.Tuple.Uncurry: [U33] :: t_aV4x s1_aV4y s2_aV4z s3_aV4A s4_aV4B s5_aV4C s6_aV4D s7_aV4E s8_aV4F s9_aV4G s10_aV4H s11_aV4I s12_aV4J s13_aV4K s14_aV4L s15_aV4M s16_aV4N s17_aV4O s18_aV4P s19_aV4Q s20_aV4R s21_aV4S s22_aV4T s23_aV4U s24_aV4V s25_aV4W s26_aV4X s27_aV4Y s28_aV4Z s29_aV50 s30_aV51 s31_aV52 s32_aV53 s33_aV54 -> U33 t_aV4x '(s1_aV4y, s2_aV4z, s3_aV4A, s4_aV4B, s5_aV4C, s6_aV4D, s7_aV4E, s8_aV4F, s9_aV4G, s10_aV4H, s11_aV4I, s12_aV4J, s13_aV4K, s14_aV4L, s15_aV4M, s16_aV4N, s17_aV4O, s18_aV4P, s19_aV4Q, s20_aV4R, s21_aV4S, s22_aV4T, s23_aV4U, s24_aV4V, s25_aV4W, s26_aV4X, s27_aV4Y, s28_aV4Z, s29_aV50, s30_aV51, s31_aV52, s32_aV53, s33_aV54)
+ Data.TypeLevel.Tuple.Uncurry: [U33] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 -> U33 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33)
- Data.TypeLevel.Tuple.Uncurry: [U34] :: t_aV55 s1_aV56 s2_aV57 s3_aV58 s4_aV59 s5_aV5a s6_aV5b s7_aV5c s8_aV5d s9_aV5e s10_aV5f s11_aV5g s12_aV5h s13_aV5i s14_aV5j s15_aV5k s16_aV5l s17_aV5m s18_aV5n s19_aV5o s20_aV5p s21_aV5q s22_aV5r s23_aV5s s24_aV5t s25_aV5u s26_aV5v s27_aV5w s28_aV5x s29_aV5y s30_aV5z s31_aV5A s32_aV5B s33_aV5C s34_aV5D -> U34 t_aV55 '(s1_aV56, s2_aV57, s3_aV58, s4_aV59, s5_aV5a, s6_aV5b, s7_aV5c, s8_aV5d, s9_aV5e, s10_aV5f, s11_aV5g, s12_aV5h, s13_aV5i, s14_aV5j, s15_aV5k, s16_aV5l, s17_aV5m, s18_aV5n, s19_aV5o, s20_aV5p, s21_aV5q, s22_aV5r, s23_aV5s, s24_aV5t, s25_aV5u, s26_aV5v, s27_aV5w, s28_aV5x, s29_aV5y, s30_aV5z, s31_aV5A, s32_aV5B, s33_aV5C, s34_aV5D)
+ Data.TypeLevel.Tuple.Uncurry: [U34] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 -> U34 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34)
- Data.TypeLevel.Tuple.Uncurry: [U35] :: t_aV5E s1_aV5F s2_aV5G s3_aV5H s4_aV5I s5_aV5J s6_aV5K s7_aV5L s8_aV5M s9_aV5N s10_aV5O s11_aV5P s12_aV5Q s13_aV5R s14_aV5S s15_aV5T s16_aV5U s17_aV5V s18_aV5W s19_aV5X s20_aV5Y s21_aV5Z s22_aV60 s23_aV61 s24_aV62 s25_aV63 s26_aV64 s27_aV65 s28_aV66 s29_aV67 s30_aV68 s31_aV69 s32_aV6a s33_aV6b s34_aV6c s35_aV6d -> U35 t_aV5E '(s1_aV5F, s2_aV5G, s3_aV5H, s4_aV5I, s5_aV5J, s6_aV5K, s7_aV5L, s8_aV5M, s9_aV5N, s10_aV5O, s11_aV5P, s12_aV5Q, s13_aV5R, s14_aV5S, s15_aV5T, s16_aV5U, s17_aV5V, s18_aV5W, s19_aV5X, s20_aV5Y, s21_aV5Z, s22_aV60, s23_aV61, s24_aV62, s25_aV63, s26_aV64, s27_aV65, s28_aV66, s29_aV67, s30_aV68, s31_aV69, s32_aV6a, s33_aV6b, s34_aV6c, s35_aV6d)
+ Data.TypeLevel.Tuple.Uncurry: [U35] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 -> U35 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35)
- Data.TypeLevel.Tuple.Uncurry: [U36] :: t_aV6e s1_aV6f s2_aV6g s3_aV6h s4_aV6i s5_aV6j s6_aV6k s7_aV6l s8_aV6m s9_aV6n s10_aV6o s11_aV6p s12_aV6q s13_aV6r s14_aV6s s15_aV6t s16_aV6u s17_aV6v s18_aV6w s19_aV6x s20_aV6y s21_aV6z s22_aV6A s23_aV6B s24_aV6C s25_aV6D s26_aV6E s27_aV6F s28_aV6G s29_aV6H s30_aV6I s31_aV6J s32_aV6K s33_aV6L s34_aV6M s35_aV6N s36_aV6O -> U36 t_aV6e '(s1_aV6f, s2_aV6g, s3_aV6h, s4_aV6i, s5_aV6j, s6_aV6k, s7_aV6l, s8_aV6m, s9_aV6n, s10_aV6o, s11_aV6p, s12_aV6q, s13_aV6r, s14_aV6s, s15_aV6t, s16_aV6u, s17_aV6v, s18_aV6w, s19_aV6x, s20_aV6y, s21_aV6z, s22_aV6A, s23_aV6B, s24_aV6C, s25_aV6D, s26_aV6E, s27_aV6F, s28_aV6G, s29_aV6H, s30_aV6I, s31_aV6J, s32_aV6K, s33_aV6L, s34_aV6M, s35_aV6N, s36_aV6O)
+ Data.TypeLevel.Tuple.Uncurry: [U36] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 -> U36 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36)
- Data.TypeLevel.Tuple.Uncurry: [U37] :: t_aV6P s1_aV6Q s2_aV6R s3_aV6S s4_aV6T s5_aV6U s6_aV6V s7_aV6W s8_aV6X s9_aV6Y s10_aV6Z s11_aV70 s12_aV71 s13_aV72 s14_aV73 s15_aV74 s16_aV75 s17_aV76 s18_aV77 s19_aV78 s20_aV79 s21_aV7a s22_aV7b s23_aV7c s24_aV7d s25_aV7e s26_aV7f s27_aV7g s28_aV7h s29_aV7i s30_aV7j s31_aV7k s32_aV7l s33_aV7m s34_aV7n s35_aV7o s36_aV7p s37_aV7q -> U37 t_aV6P '(s1_aV6Q, s2_aV6R, s3_aV6S, s4_aV6T, s5_aV6U, s6_aV6V, s7_aV6W, s8_aV6X, s9_aV6Y, s10_aV6Z, s11_aV70, s12_aV71, s13_aV72, s14_aV73, s15_aV74, s16_aV75, s17_aV76, s18_aV77, s19_aV78, s20_aV79, s21_aV7a, s22_aV7b, s23_aV7c, s24_aV7d, s25_aV7e, s26_aV7f, s27_aV7g, s28_aV7h, s29_aV7i, s30_aV7j, s31_aV7k, s32_aV7l, s33_aV7m, s34_aV7n, s35_aV7o, s36_aV7p, s37_aV7q)
+ Data.TypeLevel.Tuple.Uncurry: [U37] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 -> U37 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37)
- Data.TypeLevel.Tuple.Uncurry: [U38] :: t_aV7r s1_aV7s s2_aV7t s3_aV7u s4_aV7v s5_aV7w s6_aV7x s7_aV7y s8_aV7z s9_aV7A s10_aV7B s11_aV7C s12_aV7D s13_aV7E s14_aV7F s15_aV7G s16_aV7H s17_aV7I s18_aV7J s19_aV7K s20_aV7L s21_aV7M s22_aV7N s23_aV7O s24_aV7P s25_aV7Q s26_aV7R s27_aV7S s28_aV7T s29_aV7U s30_aV7V s31_aV7W s32_aV7X s33_aV7Y s34_aV7Z s35_aV80 s36_aV81 s37_aV82 s38_aV83 -> U38 t_aV7r '(s1_aV7s, s2_aV7t, s3_aV7u, s4_aV7v, s5_aV7w, s6_aV7x, s7_aV7y, s8_aV7z, s9_aV7A, s10_aV7B, s11_aV7C, s12_aV7D, s13_aV7E, s14_aV7F, s15_aV7G, s16_aV7H, s17_aV7I, s18_aV7J, s19_aV7K, s20_aV7L, s21_aV7M, s22_aV7N, s23_aV7O, s24_aV7P, s25_aV7Q, s26_aV7R, s27_aV7S, s28_aV7T, s29_aV7U, s30_aV7V, s31_aV7W, s32_aV7X, s33_aV7Y, s34_aV7Z, s35_aV80, s36_aV81, s37_aV82, s38_aV83)
+ Data.TypeLevel.Tuple.Uncurry: [U38] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 -> U38 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38)
- Data.TypeLevel.Tuple.Uncurry: [U39] :: t_aV84 s1_aV85 s2_aV86 s3_aV87 s4_aV88 s5_aV89 s6_aV8a s7_aV8b s8_aV8c s9_aV8d s10_aV8e s11_aV8f s12_aV8g s13_aV8h s14_aV8i s15_aV8j s16_aV8k s17_aV8l s18_aV8m s19_aV8n s20_aV8o s21_aV8p s22_aV8q s23_aV8r s24_aV8s s25_aV8t s26_aV8u s27_aV8v s28_aV8w s29_aV8x s30_aV8y s31_aV8z s32_aV8A s33_aV8B s34_aV8C s35_aV8D s36_aV8E s37_aV8F s38_aV8G s39_aV8H -> U39 t_aV84 '(s1_aV85, s2_aV86, s3_aV87, s4_aV88, s5_aV89, s6_aV8a, s7_aV8b, s8_aV8c, s9_aV8d, s10_aV8e, s11_aV8f, s12_aV8g, s13_aV8h, s14_aV8i, s15_aV8j, s16_aV8k, s17_aV8l, s18_aV8m, s19_aV8n, s20_aV8o, s21_aV8p, s22_aV8q, s23_aV8r, s24_aV8s, s25_aV8t, s26_aV8u, s27_aV8v, s28_aV8w, s29_aV8x, s30_aV8y, s31_aV8z, s32_aV8A, s33_aV8B, s34_aV8C, s35_aV8D, s36_aV8E, s37_aV8F, s38_aV8G, s39_aV8H)
+ Data.TypeLevel.Tuple.Uncurry: [U39] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 -> U39 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39)
- Data.TypeLevel.Tuple.Uncurry: [U3] :: t_aUVA s1_aUVB s2_aUVC s3_aUVD -> U3 t_aUVA '(s1_aUVB, s2_aUVC, s3_aUVD)
+ Data.TypeLevel.Tuple.Uncurry: [U3] :: forall {k} {k1} {k2} (t :: k -> k1 -> k2 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2). t s1 s2 s3 -> U3 t '(s1, s2, s3)
- Data.TypeLevel.Tuple.Uncurry: [U40] :: t_aV8I s1_aV8J s2_aV8K s3_aV8L s4_aV8M s5_aV8N s6_aV8O s7_aV8P s8_aV8Q s9_aV8R s10_aV8S s11_aV8T s12_aV8U s13_aV8V s14_aV8W s15_aV8X s16_aV8Y s17_aV8Z s18_aV90 s19_aV91 s20_aV92 s21_aV93 s22_aV94 s23_aV95 s24_aV96 s25_aV97 s26_aV98 s27_aV99 s28_aV9a s29_aV9b s30_aV9c s31_aV9d s32_aV9e s33_aV9f s34_aV9g s35_aV9h s36_aV9i s37_aV9j s38_aV9k s39_aV9l s40_aV9m -> U40 t_aV8I '(s1_aV8J, s2_aV8K, s3_aV8L, s4_aV8M, s5_aV8N, s6_aV8O, s7_aV8P, s8_aV8Q, s9_aV8R, s10_aV8S, s11_aV8T, s12_aV8U, s13_aV8V, s14_aV8W, s15_aV8X, s16_aV8Y, s17_aV8Z, s18_aV90, s19_aV91, s20_aV92, s21_aV93, s22_aV94, s23_aV95, s24_aV96, s25_aV97, s26_aV98, s27_aV99, s28_aV9a, s29_aV9b, s30_aV9c, s31_aV9d, s32_aV9e, s33_aV9f, s34_aV9g, s35_aV9h, s36_aV9i, s37_aV9j, s38_aV9k, s39_aV9l, s40_aV9m)
+ Data.TypeLevel.Tuple.Uncurry: [U40] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 -> U40 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40)
- Data.TypeLevel.Tuple.Uncurry: [U41] :: t_aV9n s1_aV9o s2_aV9p s3_aV9q s4_aV9r s5_aV9s s6_aV9t s7_aV9u s8_aV9v s9_aV9w s10_aV9x s11_aV9y s12_aV9z s13_aV9A s14_aV9B s15_aV9C s16_aV9D s17_aV9E s18_aV9F s19_aV9G s20_aV9H s21_aV9I s22_aV9J s23_aV9K s24_aV9L s25_aV9M s26_aV9N s27_aV9O s28_aV9P s29_aV9Q s30_aV9R s31_aV9S s32_aV9T s33_aV9U s34_aV9V s35_aV9W s36_aV9X s37_aV9Y s38_aV9Z s39_aVa0 s40_aVa1 s41_aVa2 -> U41 t_aV9n '(s1_aV9o, s2_aV9p, s3_aV9q, s4_aV9r, s5_aV9s, s6_aV9t, s7_aV9u, s8_aV9v, s9_aV9w, s10_aV9x, s11_aV9y, s12_aV9z, s13_aV9A, s14_aV9B, s15_aV9C, s16_aV9D, s17_aV9E, s18_aV9F, s19_aV9G, s20_aV9H, s21_aV9I, s22_aV9J, s23_aV9K, s24_aV9L, s25_aV9M, s26_aV9N, s27_aV9O, s28_aV9P, s29_aV9Q, s30_aV9R, s31_aV9S, s32_aV9T, s33_aV9U, s34_aV9V, s35_aV9W, s36_aV9X, s37_aV9Y, s38_aV9Z, s39_aVa0, s40_aVa1, s41_aVa2)
+ Data.TypeLevel.Tuple.Uncurry: [U41] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 -> U41 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41)
- Data.TypeLevel.Tuple.Uncurry: [U42] :: t_aVa3 s1_aVa4 s2_aVa5 s3_aVa6 s4_aVa7 s5_aVa8 s6_aVa9 s7_aVaa s8_aVab s9_aVac s10_aVad s11_aVae s12_aVaf s13_aVag s14_aVah s15_aVai s16_aVaj s17_aVak s18_aVal s19_aVam s20_aVan s21_aVao s22_aVap s23_aVaq s24_aVar s25_aVas s26_aVat s27_aVau s28_aVav s29_aVaw s30_aVax s31_aVay s32_aVaz s33_aVaA s34_aVaB s35_aVaC s36_aVaD s37_aVaE s38_aVaF s39_aVaG s40_aVaH s41_aVaI s42_aVaJ -> U42 t_aVa3 '(s1_aVa4, s2_aVa5, s3_aVa6, s4_aVa7, s5_aVa8, s6_aVa9, s7_aVaa, s8_aVab, s9_aVac, s10_aVad, s11_aVae, s12_aVaf, s13_aVag, s14_aVah, s15_aVai, s16_aVaj, s17_aVak, s18_aVal, s19_aVam, s20_aVan, s21_aVao, s22_aVap, s23_aVaq, s24_aVar, s25_aVas, s26_aVat, s27_aVau, s28_aVav, s29_aVaw, s30_aVax, s31_aVay, s32_aVaz, s33_aVaA, s34_aVaB, s35_aVaC, s36_aVaD, s37_aVaE, s38_aVaF, s39_aVaG, s40_aVaH, s41_aVaI, s42_aVaJ)
+ Data.TypeLevel.Tuple.Uncurry: [U42] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 -> U42 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42)
- Data.TypeLevel.Tuple.Uncurry: [U43] :: t_aVaK s1_aVaL s2_aVaM s3_aVaN s4_aVaO s5_aVaP s6_aVaQ s7_aVaR s8_aVaS s9_aVaT s10_aVaU s11_aVaV s12_aVaW s13_aVaX s14_aVaY s15_aVaZ s16_aVb0 s17_aVb1 s18_aVb2 s19_aVb3 s20_aVb4 s21_aVb5 s22_aVb6 s23_aVb7 s24_aVb8 s25_aVb9 s26_aVba s27_aVbb s28_aVbc s29_aVbd s30_aVbe s31_aVbf s32_aVbg s33_aVbh s34_aVbi s35_aVbj s36_aVbk s37_aVbl s38_aVbm s39_aVbn s40_aVbo s41_aVbp s42_aVbq s43_aVbr -> U43 t_aVaK '(s1_aVaL, s2_aVaM, s3_aVaN, s4_aVaO, s5_aVaP, s6_aVaQ, s7_aVaR, s8_aVaS, s9_aVaT, s10_aVaU, s11_aVaV, s12_aVaW, s13_aVaX, s14_aVaY, s15_aVaZ, s16_aVb0, s17_aVb1, s18_aVb2, s19_aVb3, s20_aVb4, s21_aVb5, s22_aVb6, s23_aVb7, s24_aVb8, s25_aVb9, s26_aVba, s27_aVbb, s28_aVbc, s29_aVbd, s30_aVbe, s31_aVbf, s32_aVbg, s33_aVbh, s34_aVbi, s35_aVbj, s36_aVbk, s37_aVbl, s38_aVbm, s39_aVbn, s40_aVbo, s41_aVbp, s42_aVbq, s43_aVbr)
+ Data.TypeLevel.Tuple.Uncurry: [U43] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 -> U43 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43)
- Data.TypeLevel.Tuple.Uncurry: [U44] :: t_aVbs s1_aVbt s2_aVbu s3_aVbv s4_aVbw s5_aVbx s6_aVby s7_aVbz s8_aVbA s9_aVbB s10_aVbC s11_aVbD s12_aVbE s13_aVbF s14_aVbG s15_aVbH s16_aVbI s17_aVbJ s18_aVbK s19_aVbL s20_aVbM s21_aVbN s22_aVbO s23_aVbP s24_aVbQ s25_aVbR s26_aVbS s27_aVbT s28_aVbU s29_aVbV s30_aVbW s31_aVbX s32_aVbY s33_aVbZ s34_aVc0 s35_aVc1 s36_aVc2 s37_aVc3 s38_aVc4 s39_aVc5 s40_aVc6 s41_aVc7 s42_aVc8 s43_aVc9 s44_aVca -> U44 t_aVbs '(s1_aVbt, s2_aVbu, s3_aVbv, s4_aVbw, s5_aVbx, s6_aVby, s7_aVbz, s8_aVbA, s9_aVbB, s10_aVbC, s11_aVbD, s12_aVbE, s13_aVbF, s14_aVbG, s15_aVbH, s16_aVbI, s17_aVbJ, s18_aVbK, s19_aVbL, s20_aVbM, s21_aVbN, s22_aVbO, s23_aVbP, s24_aVbQ, s25_aVbR, s26_aVbS, s27_aVbT, s28_aVbU, s29_aVbV, s30_aVbW, s31_aVbX, s32_aVbY, s33_aVbZ, s34_aVc0, s35_aVc1, s36_aVc2, s37_aVc3, s38_aVc4, s39_aVc5, s40_aVc6, s41_aVc7, s42_aVc8, s43_aVc9, s44_aVca)
+ Data.TypeLevel.Tuple.Uncurry: [U44] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 -> U44 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44)
- Data.TypeLevel.Tuple.Uncurry: [U45] :: t_aVcb s1_aVcc s2_aVcd s3_aVce s4_aVcf s5_aVcg s6_aVch s7_aVci s8_aVcj s9_aVck s10_aVcl s11_aVcm s12_aVcn s13_aVco s14_aVcp s15_aVcq s16_aVcr s17_aVcs s18_aVct s19_aVcu s20_aVcv s21_aVcw s22_aVcx s23_aVcy s24_aVcz s25_aVcA s26_aVcB s27_aVcC s28_aVcD s29_aVcE s30_aVcF s31_aVcG s32_aVcH s33_aVcI s34_aVcJ s35_aVcK s36_aVcL s37_aVcM s38_aVcN s39_aVcO s40_aVcP s41_aVcQ s42_aVcR s43_aVcS s44_aVcT s45_aVcU -> U45 t_aVcb '(s1_aVcc, s2_aVcd, s3_aVce, s4_aVcf, s5_aVcg, s6_aVch, s7_aVci, s8_aVcj, s9_aVck, s10_aVcl, s11_aVcm, s12_aVcn, s13_aVco, s14_aVcp, s15_aVcq, s16_aVcr, s17_aVcs, s18_aVct, s19_aVcu, s20_aVcv, s21_aVcw, s22_aVcx, s23_aVcy, s24_aVcz, s25_aVcA, s26_aVcB, s27_aVcC, s28_aVcD, s29_aVcE, s30_aVcF, s31_aVcG, s32_aVcH, s33_aVcI, s34_aVcJ, s35_aVcK, s36_aVcL, s37_aVcM, s38_aVcN, s39_aVcO, s40_aVcP, s41_aVcQ, s42_aVcR, s43_aVcS, s44_aVcT, s45_aVcU)
+ Data.TypeLevel.Tuple.Uncurry: [U45] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 -> U45 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45)
- Data.TypeLevel.Tuple.Uncurry: [U46] :: t_aVcV s1_aVcW s2_aVcX s3_aVcY s4_aVcZ s5_aVd0 s6_aVd1 s7_aVd2 s8_aVd3 s9_aVd4 s10_aVd5 s11_aVd6 s12_aVd7 s13_aVd8 s14_aVd9 s15_aVda s16_aVdb s17_aVdc s18_aVdd s19_aVde s20_aVdf s21_aVdg s22_aVdh s23_aVdi s24_aVdj s25_aVdk s26_aVdl s27_aVdm s28_aVdn s29_aVdo s30_aVdp s31_aVdq s32_aVdr s33_aVds s34_aVdt s35_aVdu s36_aVdv s37_aVdw s38_aVdx s39_aVdy s40_aVdz s41_aVdA s42_aVdB s43_aVdC s44_aVdD s45_aVdE s46_aVdF -> U46 t_aVcV '(s1_aVcW, s2_aVcX, s3_aVcY, s4_aVcZ, s5_aVd0, s6_aVd1, s7_aVd2, s8_aVd3, s9_aVd4, s10_aVd5, s11_aVd6, s12_aVd7, s13_aVd8, s14_aVd9, s15_aVda, s16_aVdb, s17_aVdc, s18_aVdd, s19_aVde, s20_aVdf, s21_aVdg, s22_aVdh, s23_aVdi, s24_aVdj, s25_aVdk, s26_aVdl, s27_aVdm, s28_aVdn, s29_aVdo, s30_aVdp, s31_aVdq, s32_aVdr, s33_aVds, s34_aVdt, s35_aVdu, s36_aVdv, s37_aVdw, s38_aVdx, s39_aVdy, s40_aVdz, s41_aVdA, s42_aVdB, s43_aVdC, s44_aVdD, s45_aVdE, s46_aVdF)
+ Data.TypeLevel.Tuple.Uncurry: [U46] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 -> U46 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46)
- Data.TypeLevel.Tuple.Uncurry: [U47] :: t_aVdG s1_aVdH s2_aVdI s3_aVdJ s4_aVdK s5_aVdL s6_aVdM s7_aVdN s8_aVdO s9_aVdP s10_aVdQ s11_aVdR s12_aVdS s13_aVdT s14_aVdU s15_aVdV s16_aVdW s17_aVdX s18_aVdY s19_aVdZ s20_aVe0 s21_aVe1 s22_aVe2 s23_aVe3 s24_aVe4 s25_aVe5 s26_aVe6 s27_aVe7 s28_aVe8 s29_aVe9 s30_aVea s31_aVeb s32_aVec s33_aVed s34_aVee s35_aVef s36_aVeg s37_aVeh s38_aVei s39_aVej s40_aVek s41_aVel s42_aVem s43_aVen s44_aVeo s45_aVep s46_aVeq s47_aVer -> U47 t_aVdG '(s1_aVdH, s2_aVdI, s3_aVdJ, s4_aVdK, s5_aVdL, s6_aVdM, s7_aVdN, s8_aVdO, s9_aVdP, s10_aVdQ, s11_aVdR, s12_aVdS, s13_aVdT, s14_aVdU, s15_aVdV, s16_aVdW, s17_aVdX, s18_aVdY, s19_aVdZ, s20_aVe0, s21_aVe1, s22_aVe2, s23_aVe3, s24_aVe4, s25_aVe5, s26_aVe6, s27_aVe7, s28_aVe8, s29_aVe9, s30_aVea, s31_aVeb, s32_aVec, s33_aVed, s34_aVee, s35_aVef, s36_aVeg, s37_aVeh, s38_aVei, s39_aVej, s40_aVek, s41_aVel, s42_aVem, s43_aVen, s44_aVeo, s45_aVep, s46_aVeq, s47_aVer)
+ Data.TypeLevel.Tuple.Uncurry: [U47] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 -> U47 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47)
- Data.TypeLevel.Tuple.Uncurry: [U48] :: t_aVes s1_aVet s2_aVeu s3_aVev s4_aVew s5_aVex s6_aVey s7_aVez s8_aVeA s9_aVeB s10_aVeC s11_aVeD s12_aVeE s13_aVeF s14_aVeG s15_aVeH s16_aVeI s17_aVeJ s18_aVeK s19_aVeL s20_aVeM s21_aVeN s22_aVeO s23_aVeP s24_aVeQ s25_aVeR s26_aVeS s27_aVeT s28_aVeU s29_aVeV s30_aVeW s31_aVeX s32_aVeY s33_aVeZ s34_aVf0 s35_aVf1 s36_aVf2 s37_aVf3 s38_aVf4 s39_aVf5 s40_aVf6 s41_aVf7 s42_aVf8 s43_aVf9 s44_aVfa s45_aVfb s46_aVfc s47_aVfd s48_aVfe -> U48 t_aVes '(s1_aVet, s2_aVeu, s3_aVev, s4_aVew, s5_aVex, s6_aVey, s7_aVez, s8_aVeA, s9_aVeB, s10_aVeC, s11_aVeD, s12_aVeE, s13_aVeF, s14_aVeG, s15_aVeH, s16_aVeI, s17_aVeJ, s18_aVeK, s19_aVeL, s20_aVeM, s21_aVeN, s22_aVeO, s23_aVeP, s24_aVeQ, s25_aVeR, s26_aVeS, s27_aVeT, s28_aVeU, s29_aVeV, s30_aVeW, s31_aVeX, s32_aVeY, s33_aVeZ, s34_aVf0, s35_aVf1, s36_aVf2, s37_aVf3, s38_aVf4, s39_aVf5, s40_aVf6, s41_aVf7, s42_aVf8, s43_aVf9, s44_aVfa, s45_aVfb, s46_aVfc, s47_aVfd, s48_aVfe)
+ Data.TypeLevel.Tuple.Uncurry: [U48] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 -> U48 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48)
- Data.TypeLevel.Tuple.Uncurry: [U49] :: t_aVff s1_aVfg s2_aVfh s3_aVfi s4_aVfj s5_aVfk s6_aVfl s7_aVfm s8_aVfn s9_aVfo s10_aVfp s11_aVfq s12_aVfr s13_aVfs s14_aVft s15_aVfu s16_aVfv s17_aVfw s18_aVfx s19_aVfy s20_aVfz s21_aVfA s22_aVfB s23_aVfC s24_aVfD s25_aVfE s26_aVfF s27_aVfG s28_aVfH s29_aVfI s30_aVfJ s31_aVfK s32_aVfL s33_aVfM s34_aVfN s35_aVfO s36_aVfP s37_aVfQ s38_aVfR s39_aVfS s40_aVfT s41_aVfU s42_aVfV s43_aVfW s44_aVfX s45_aVfY s46_aVfZ s47_aVg0 s48_aVg1 s49_aVg2 -> U49 t_aVff '(s1_aVfg, s2_aVfh, s3_aVfi, s4_aVfj, s5_aVfk, s6_aVfl, s7_aVfm, s8_aVfn, s9_aVfo, s10_aVfp, s11_aVfq, s12_aVfr, s13_aVfs, s14_aVft, s15_aVfu, s16_aVfv, s17_aVfw, s18_aVfx, s19_aVfy, s20_aVfz, s21_aVfA, s22_aVfB, s23_aVfC, s24_aVfD, s25_aVfE, s26_aVfF, s27_aVfG, s28_aVfH, s29_aVfI, s30_aVfJ, s31_aVfK, s32_aVfL, s33_aVfM, s34_aVfN, s35_aVfO, s36_aVfP, s37_aVfQ, s38_aVfR, s39_aVfS, s40_aVfT, s41_aVfU, s42_aVfV, s43_aVfW, s44_aVfX, s45_aVfY, s46_aVfZ, s47_aVg0, s48_aVg1, s49_aVg2)
+ Data.TypeLevel.Tuple.Uncurry: [U49] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 -> U49 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49)
- Data.TypeLevel.Tuple.Uncurry: [U4] :: t_aUVE s1_aUVF s2_aUVG s3_aUVH s4_aUVI -> U4 t_aUVE '(s1_aUVF, s2_aUVG, s3_aUVH, s4_aUVI)
+ Data.TypeLevel.Tuple.Uncurry: [U4] :: forall {k} {k1} {k2} {k3} (t :: k -> k1 -> k2 -> k3 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3). t s1 s2 s3 s4 -> U4 t '(s1, s2, s3, s4)
- Data.TypeLevel.Tuple.Uncurry: [U50] :: t_aVg3 s1_aVg4 s2_aVg5 s3_aVg6 s4_aVg7 s5_aVg8 s6_aVg9 s7_aVga s8_aVgb s9_aVgc s10_aVgd s11_aVge s12_aVgf s13_aVgg s14_aVgh s15_aVgi s16_aVgj s17_aVgk s18_aVgl s19_aVgm s20_aVgn s21_aVgo s22_aVgp s23_aVgq s24_aVgr s25_aVgs s26_aVgt s27_aVgu s28_aVgv s29_aVgw s30_aVgx s31_aVgy s32_aVgz s33_aVgA s34_aVgB s35_aVgC s36_aVgD s37_aVgE s38_aVgF s39_aVgG s40_aVgH s41_aVgI s42_aVgJ s43_aVgK s44_aVgL s45_aVgM s46_aVgN s47_aVgO s48_aVgP s49_aVgQ s50_aVgR -> U50 t_aVg3 '(s1_aVg4, s2_aVg5, s3_aVg6, s4_aVg7, s5_aVg8, s6_aVg9, s7_aVga, s8_aVgb, s9_aVgc, s10_aVgd, s11_aVge, s12_aVgf, s13_aVgg, s14_aVgh, s15_aVgi, s16_aVgj, s17_aVgk, s18_aVgl, s19_aVgm, s20_aVgn, s21_aVgo, s22_aVgp, s23_aVgq, s24_aVgr, s25_aVgs, s26_aVgt, s27_aVgu, s28_aVgv, s29_aVgw, s30_aVgx, s31_aVgy, s32_aVgz, s33_aVgA, s34_aVgB, s35_aVgC, s36_aVgD, s37_aVgE, s38_aVgF, s39_aVgG, s40_aVgH, s41_aVgI, s42_aVgJ, s43_aVgK, s44_aVgL, s45_aVgM, s46_aVgN, s47_aVgO, s48_aVgP, s49_aVgQ, s50_aVgR)
+ Data.TypeLevel.Tuple.Uncurry: [U50] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 -> U50 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50)
- Data.TypeLevel.Tuple.Uncurry: [U51] :: t_aVgS s1_aVgT s2_aVgU s3_aVgV s4_aVgW s5_aVgX s6_aVgY s7_aVgZ s8_aVh0 s9_aVh1 s10_aVh2 s11_aVh3 s12_aVh4 s13_aVh5 s14_aVh6 s15_aVh7 s16_aVh8 s17_aVh9 s18_aVha s19_aVhb s20_aVhc s21_aVhd s22_aVhe s23_aVhf s24_aVhg s25_aVhh s26_aVhi s27_aVhj s28_aVhk s29_aVhl s30_aVhm s31_aVhn s32_aVho s33_aVhp s34_aVhq s35_aVhr s36_aVhs s37_aVht s38_aVhu s39_aVhv s40_aVhw s41_aVhx s42_aVhy s43_aVhz s44_aVhA s45_aVhB s46_aVhC s47_aVhD s48_aVhE s49_aVhF s50_aVhG s51_aVhH -> U51 t_aVgS '(s1_aVgT, s2_aVgU, s3_aVgV, s4_aVgW, s5_aVgX, s6_aVgY, s7_aVgZ, s8_aVh0, s9_aVh1, s10_aVh2, s11_aVh3, s12_aVh4, s13_aVh5, s14_aVh6, s15_aVh7, s16_aVh8, s17_aVh9, s18_aVha, s19_aVhb, s20_aVhc, s21_aVhd, s22_aVhe, s23_aVhf, s24_aVhg, s25_aVhh, s26_aVhi, s27_aVhj, s28_aVhk, s29_aVhl, s30_aVhm, s31_aVhn, s32_aVho, s33_aVhp, s34_aVhq, s35_aVhr, s36_aVhs, s37_aVht, s38_aVhu, s39_aVhv, s40_aVhw, s41_aVhx, s42_aVhy, s43_aVhz, s44_aVhA, s45_aVhB, s46_aVhC, s47_aVhD, s48_aVhE, s49_aVhF, s50_aVhG, s51_aVhH)
+ Data.TypeLevel.Tuple.Uncurry: [U51] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 -> U51 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51)
- Data.TypeLevel.Tuple.Uncurry: [U52] :: t_aVhI s1_aVhJ s2_aVhK s3_aVhL s4_aVhM s5_aVhN s6_aVhO s7_aVhP s8_aVhQ s9_aVhR s10_aVhS s11_aVhT s12_aVhU s13_aVhV s14_aVhW s15_aVhX s16_aVhY s17_aVhZ s18_aVi0 s19_aVi1 s20_aVi2 s21_aVi3 s22_aVi4 s23_aVi5 s24_aVi6 s25_aVi7 s26_aVi8 s27_aVi9 s28_aVia s29_aVib s30_aVic s31_aVid s32_aVie s33_aVif s34_aVig s35_aVih s36_aVii s37_aVij s38_aVik s39_aVil s40_aVim s41_aVin s42_aVio s43_aVip s44_aViq s45_aVir s46_aVis s47_aVit s48_aViu s49_aViv s50_aViw s51_aVix s52_aViy -> U52 t_aVhI '(s1_aVhJ, s2_aVhK, s3_aVhL, s4_aVhM, s5_aVhN, s6_aVhO, s7_aVhP, s8_aVhQ, s9_aVhR, s10_aVhS, s11_aVhT, s12_aVhU, s13_aVhV, s14_aVhW, s15_aVhX, s16_aVhY, s17_aVhZ, s18_aVi0, s19_aVi1, s20_aVi2, s21_aVi3, s22_aVi4, s23_aVi5, s24_aVi6, s25_aVi7, s26_aVi8, s27_aVi9, s28_aVia, s29_aVib, s30_aVic, s31_aVid, s32_aVie, s33_aVif, s34_aVig, s35_aVih, s36_aVii, s37_aVij, s38_aVik, s39_aVil, s40_aVim, s41_aVin, s42_aVio, s43_aVip, s44_aViq, s45_aVir, s46_aVis, s47_aVit, s48_aViu, s49_aViv, s50_aViw, s51_aVix, s52_aViy)
+ Data.TypeLevel.Tuple.Uncurry: [U52] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 -> U52 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52)
- Data.TypeLevel.Tuple.Uncurry: [U53] :: t_aViz s1_aViA s2_aViB s3_aViC s4_aViD s5_aViE s6_aViF s7_aViG s8_aViH s9_aViI s10_aViJ s11_aViK s12_aViL s13_aViM s14_aViN s15_aViO s16_aViP s17_aViQ s18_aViR s19_aViS s20_aViT s21_aViU s22_aViV s23_aViW s24_aViX s25_aViY s26_aViZ s27_aVj0 s28_aVj1 s29_aVj2 s30_aVj3 s31_aVj4 s32_aVj5 s33_aVj6 s34_aVj7 s35_aVj8 s36_aVj9 s37_aVja s38_aVjb s39_aVjc s40_aVjd s41_aVje s42_aVjf s43_aVjg s44_aVjh s45_aVji s46_aVjj s47_aVjk s48_aVjl s49_aVjm s50_aVjn s51_aVjo s52_aVjp s53_aVjq -> U53 t_aViz '(s1_aViA, s2_aViB, s3_aViC, s4_aViD, s5_aViE, s6_aViF, s7_aViG, s8_aViH, s9_aViI, s10_aViJ, s11_aViK, s12_aViL, s13_aViM, s14_aViN, s15_aViO, s16_aViP, s17_aViQ, s18_aViR, s19_aViS, s20_aViT, s21_aViU, s22_aViV, s23_aViW, s24_aViX, s25_aViY, s26_aViZ, s27_aVj0, s28_aVj1, s29_aVj2, s30_aVj3, s31_aVj4, s32_aVj5, s33_aVj6, s34_aVj7, s35_aVj8, s36_aVj9, s37_aVja, s38_aVjb, s39_aVjc, s40_aVjd, s41_aVje, s42_aVjf, s43_aVjg, s44_aVjh, s45_aVji, s46_aVjj, s47_aVjk, s48_aVjl, s49_aVjm, s50_aVjn, s51_aVjo, s52_aVjp, s53_aVjq)
+ Data.TypeLevel.Tuple.Uncurry: [U53] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 -> U53 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53)
- Data.TypeLevel.Tuple.Uncurry: [U54] :: t_aVjr s1_aVjs s2_aVjt s3_aVju s4_aVjv s5_aVjw s6_aVjx s7_aVjy s8_aVjz s9_aVjA s10_aVjB s11_aVjC s12_aVjD s13_aVjE s14_aVjF s15_aVjG s16_aVjH s17_aVjI s18_aVjJ s19_aVjK s20_aVjL s21_aVjM s22_aVjN s23_aVjO s24_aVjP s25_aVjQ s26_aVjR s27_aVjS s28_aVjT s29_aVjU s30_aVjV s31_aVjW s32_aVjX s33_aVjY s34_aVjZ s35_aVk0 s36_aVk1 s37_aVk2 s38_aVk3 s39_aVk4 s40_aVk5 s41_aVk6 s42_aVk7 s43_aVk8 s44_aVk9 s45_aVka s46_aVkb s47_aVkc s48_aVkd s49_aVke s50_aVkf s51_aVkg s52_aVkh s53_aVki s54_aVkj -> U54 t_aVjr '(s1_aVjs, s2_aVjt, s3_aVju, s4_aVjv, s5_aVjw, s6_aVjx, s7_aVjy, s8_aVjz, s9_aVjA, s10_aVjB, s11_aVjC, s12_aVjD, s13_aVjE, s14_aVjF, s15_aVjG, s16_aVjH, s17_aVjI, s18_aVjJ, s19_aVjK, s20_aVjL, s21_aVjM, s22_aVjN, s23_aVjO, s24_aVjP, s25_aVjQ, s26_aVjR, s27_aVjS, s28_aVjT, s29_aVjU, s30_aVjV, s31_aVjW, s32_aVjX, s33_aVjY, s34_aVjZ, s35_aVk0, s36_aVk1, s37_aVk2, s38_aVk3, s39_aVk4, s40_aVk5, s41_aVk6, s42_aVk7, s43_aVk8, s44_aVk9, s45_aVka, s46_aVkb, s47_aVkc, s48_aVkd, s49_aVke, s50_aVkf, s51_aVkg, s52_aVkh, s53_aVki, s54_aVkj)
+ Data.TypeLevel.Tuple.Uncurry: [U54] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 -> U54 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54)
- Data.TypeLevel.Tuple.Uncurry: [U55] :: t_aVkk s1_aVkl s2_aVkm s3_aVkn s4_aVko s5_aVkp s6_aVkq s7_aVkr s8_aVks s9_aVkt s10_aVku s11_aVkv s12_aVkw s13_aVkx s14_aVky s15_aVkz s16_aVkA s17_aVkB s18_aVkC s19_aVkD s20_aVkE s21_aVkF s22_aVkG s23_aVkH s24_aVkI s25_aVkJ s26_aVkK s27_aVkL s28_aVkM s29_aVkN s30_aVkO s31_aVkP s32_aVkQ s33_aVkR s34_aVkS s35_aVkT s36_aVkU s37_aVkV s38_aVkW s39_aVkX s40_aVkY s41_aVkZ s42_aVl0 s43_aVl1 s44_aVl2 s45_aVl3 s46_aVl4 s47_aVl5 s48_aVl6 s49_aVl7 s50_aVl8 s51_aVl9 s52_aVla s53_aVlb s54_aVlc s55_aVld -> U55 t_aVkk '(s1_aVkl, s2_aVkm, s3_aVkn, s4_aVko, s5_aVkp, s6_aVkq, s7_aVkr, s8_aVks, s9_aVkt, s10_aVku, s11_aVkv, s12_aVkw, s13_aVkx, s14_aVky, s15_aVkz, s16_aVkA, s17_aVkB, s18_aVkC, s19_aVkD, s20_aVkE, s21_aVkF, s22_aVkG, s23_aVkH, s24_aVkI, s25_aVkJ, s26_aVkK, s27_aVkL, s28_aVkM, s29_aVkN, s30_aVkO, s31_aVkP, s32_aVkQ, s33_aVkR, s34_aVkS, s35_aVkT, s36_aVkU, s37_aVkV, s38_aVkW, s39_aVkX, s40_aVkY, s41_aVkZ, s42_aVl0, s43_aVl1, s44_aVl2, s45_aVl3, s46_aVl4, s47_aVl5, s48_aVl6, s49_aVl7, s50_aVl8, s51_aVl9, s52_aVla, s53_aVlb, s54_aVlc, s55_aVld)
+ Data.TypeLevel.Tuple.Uncurry: [U55] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 -> U55 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55)
- Data.TypeLevel.Tuple.Uncurry: [U56] :: t_aVle s1_aVlf s2_aVlg s3_aVlh s4_aVli s5_aVlj s6_aVlk s7_aVll s8_aVlm s9_aVln s10_aVlo s11_aVlp s12_aVlq s13_aVlr s14_aVls s15_aVlt s16_aVlu s17_aVlv s18_aVlw s19_aVlx s20_aVly s21_aVlz s22_aVlA s23_aVlB s24_aVlC s25_aVlD s26_aVlE s27_aVlF s28_aVlG s29_aVlH s30_aVlI s31_aVlJ s32_aVlK s33_aVlL s34_aVlM s35_aVlN s36_aVlO s37_aVlP s38_aVlQ s39_aVlR s40_aVlS s41_aVlT s42_aVlU s43_aVlV s44_aVlW s45_aVlX s46_aVlY s47_aVlZ s48_aVm0 s49_aVm1 s50_aVm2 s51_aVm3 s52_aVm4 s53_aVm5 s54_aVm6 s55_aVm7 s56_aVm8 -> U56 t_aVle '(s1_aVlf, s2_aVlg, s3_aVlh, s4_aVli, s5_aVlj, s6_aVlk, s7_aVll, s8_aVlm, s9_aVln, s10_aVlo, s11_aVlp, s12_aVlq, s13_aVlr, s14_aVls, s15_aVlt, s16_aVlu, s17_aVlv, s18_aVlw, s19_aVlx, s20_aVly, s21_aVlz, s22_aVlA, s23_aVlB, s24_aVlC, s25_aVlD, s26_aVlE, s27_aVlF, s28_aVlG, s29_aVlH, s30_aVlI, s31_aVlJ, s32_aVlK, s33_aVlL, s34_aVlM, s35_aVlN, s36_aVlO, s37_aVlP, s38_aVlQ, s39_aVlR, s40_aVlS, s41_aVlT, s42_aVlU, s43_aVlV, s44_aVlW, s45_aVlX, s46_aVlY, s47_aVlZ, s48_aVm0, s49_aVm1, s50_aVm2, s51_aVm3, s52_aVm4, s53_aVm5, s54_aVm6, s55_aVm7, s56_aVm8)
+ Data.TypeLevel.Tuple.Uncurry: [U56] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54) (s56 :: k55). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 -> U56 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s56)
- Data.TypeLevel.Tuple.Uncurry: [U57] :: t_aVm9 s1_aVma s2_aVmb s3_aVmc s4_aVmd s5_aVme s6_aVmf s7_aVmg s8_aVmh s9_aVmi s10_aVmj s11_aVmk s12_aVml s13_aVmm s14_aVmn s15_aVmo s16_aVmp s17_aVmq s18_aVmr s19_aVms s20_aVmt s21_aVmu s22_aVmv s23_aVmw s24_aVmx s25_aVmy s26_aVmz s27_aVmA s28_aVmB s29_aVmC s30_aVmD s31_aVmE s32_aVmF s33_aVmG s34_aVmH s35_aVmI s36_aVmJ s37_aVmK s38_aVmL s39_aVmM s40_aVmN s41_aVmO s42_aVmP s43_aVmQ s44_aVmR s45_aVmS s46_aVmT s47_aVmU s48_aVmV s49_aVmW s50_aVmX s51_aVmY s52_aVmZ s53_aVn0 s54_aVn1 s55_aVn2 s56_aVn3 s57_aVn4 -> U57 t_aVm9 '(s1_aVma, s2_aVmb, s3_aVmc, s4_aVmd, s5_aVme, s6_aVmf, s7_aVmg, s8_aVmh, s9_aVmi, s10_aVmj, s11_aVmk, s12_aVml, s13_aVmm, s14_aVmn, s15_aVmo, s16_aVmp, s17_aVmq, s18_aVmr, s19_aVms, s20_aVmt, s21_aVmu, s22_aVmv, s23_aVmw, s24_aVmx, s25_aVmy, s26_aVmz, s27_aVmA, s28_aVmB, s29_aVmC, s30_aVmD, s31_aVmE, s32_aVmF, s33_aVmG, s34_aVmH, s35_aVmI, s36_aVmJ, s37_aVmK, s38_aVmL, s39_aVmM, s40_aVmN, s41_aVmO, s42_aVmP, s43_aVmQ, s44_aVmR, s45_aVmS, s46_aVmT, s47_aVmU, s48_aVmV, s49_aVmW, s50_aVmX, s51_aVmY, s52_aVmZ, s53_aVn0, s54_aVn1, s55_aVn2, s56_aVn3, s57_aVn4)
+ Data.TypeLevel.Tuple.Uncurry: [U57] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54) (s56 :: k55) (s57 :: k56). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 s57 -> U57 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s56, s57)
- Data.TypeLevel.Tuple.Uncurry: [U58] :: t_aVn5 s1_aVn6 s2_aVn7 s3_aVn8 s4_aVn9 s5_aVna s6_aVnb s7_aVnc s8_aVnd s9_aVne s10_aVnf s11_aVng s12_aVnh s13_aVni s14_aVnj s15_aVnk s16_aVnl s17_aVnm s18_aVnn s19_aVno s20_aVnp s21_aVnq s22_aVnr s23_aVns s24_aVnt s25_aVnu s26_aVnv s27_aVnw s28_aVnx s29_aVny s30_aVnz s31_aVnA s32_aVnB s33_aVnC s34_aVnD s35_aVnE s36_aVnF s37_aVnG s38_aVnH s39_aVnI s40_aVnJ s41_aVnK s42_aVnL s43_aVnM s44_aVnN s45_aVnO s46_aVnP s47_aVnQ s48_aVnR s49_aVnS s50_aVnT s51_aVnU s52_aVnV s53_aVnW s54_aVnX s55_aVnY s56_aVnZ s57_aVo0 s58_aVo1 -> U58 t_aVn5 '(s1_aVn6, s2_aVn7, s3_aVn8, s4_aVn9, s5_aVna, s6_aVnb, s7_aVnc, s8_aVnd, s9_aVne, s10_aVnf, s11_aVng, s12_aVnh, s13_aVni, s14_aVnj, s15_aVnk, s16_aVnl, s17_aVnm, s18_aVnn, s19_aVno, s20_aVnp, s21_aVnq, s22_aVnr, s23_aVns, s24_aVnt, s25_aVnu, s26_aVnv, s27_aVnw, s28_aVnx, s29_aVny, s30_aVnz, s31_aVnA, s32_aVnB, s33_aVnC, s34_aVnD, s35_aVnE, s36_aVnF, s37_aVnG, s38_aVnH, s39_aVnI, s40_aVnJ, s41_aVnK, s42_aVnL, s43_aVnM, s44_aVnN, s45_aVnO, s46_aVnP, s47_aVnQ, s48_aVnR, s49_aVnS, s50_aVnT, s51_aVnU, s52_aVnV, s53_aVnW, s54_aVnX, s55_aVnY, s56_aVnZ, s57_aVo0, s58_aVo1)
+ Data.TypeLevel.Tuple.Uncurry: [U58] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54) (s56 :: k55) (s57 :: k56) (s58 :: k57). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 s57 s58 -> U58 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s56, s57, s58)
- Data.TypeLevel.Tuple.Uncurry: [U59] :: t_aVo2 s1_aVo3 s2_aVo4 s3_aVo5 s4_aVo6 s5_aVo7 s6_aVo8 s7_aVo9 s8_aVoa s9_aVob s10_aVoc s11_aVod s12_aVoe s13_aVof s14_aVog s15_aVoh s16_aVoi s17_aVoj s18_aVok s19_aVol s20_aVom s21_aVon s22_aVoo s23_aVop s24_aVoq s25_aVor s26_aVos s27_aVot s28_aVou s29_aVov s30_aVow s31_aVox s32_aVoy s33_aVoz s34_aVoA s35_aVoB s36_aVoC s37_aVoD s38_aVoE s39_aVoF s40_aVoG s41_aVoH s42_aVoI s43_aVoJ s44_aVoK s45_aVoL s46_aVoM s47_aVoN s48_aVoO s49_aVoP s50_aVoQ s51_aVoR s52_aVoS s53_aVoT s54_aVoU s55_aVoV s56_aVoW s57_aVoX s58_aVoY s59_aVoZ -> U59 t_aVo2 '(s1_aVo3, s2_aVo4, s3_aVo5, s4_aVo6, s5_aVo7, s6_aVo8, s7_aVo9, s8_aVoa, s9_aVob, s10_aVoc, s11_aVod, s12_aVoe, s13_aVof, s14_aVog, s15_aVoh, s16_aVoi, s17_aVoj, s18_aVok, s19_aVol, s20_aVom, s21_aVon, s22_aVoo, s23_aVop, s24_aVoq, s25_aVor, s26_aVos, s27_aVot, s28_aVou, s29_aVov, s30_aVow, s31_aVox, s32_aVoy, s33_aVoz, s34_aVoA, s35_aVoB, s36_aVoC, s37_aVoD, s38_aVoE, s39_aVoF, s40_aVoG, s41_aVoH, s42_aVoI, s43_aVoJ, s44_aVoK, s45_aVoL, s46_aVoM, s47_aVoN, s48_aVoO, s49_aVoP, s50_aVoQ, s51_aVoR, s52_aVoS, s53_aVoT, s54_aVoU, s55_aVoV, s56_aVoW, s57_aVoX, s58_aVoY, s59_aVoZ)
+ Data.TypeLevel.Tuple.Uncurry: [U59] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54) (s56 :: k55) (s57 :: k56) (s58 :: k57) (s59 :: k58). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 s57 s58 s59 -> U59 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s56, s57, s58, s59)
- Data.TypeLevel.Tuple.Uncurry: [U5] :: t_aUVJ s1_aUVK s2_aUVL s3_aUVM s4_aUVN s5_aUVO -> U5 t_aUVJ '(s1_aUVK, s2_aUVL, s3_aUVM, s4_aUVN, s5_aUVO)
+ Data.TypeLevel.Tuple.Uncurry: [U5] :: forall {k} {k1} {k2} {k3} {k4} (t :: k -> k1 -> k2 -> k3 -> k4 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4). t s1 s2 s3 s4 s5 -> U5 t '(s1, s2, s3, s4, s5)
- Data.TypeLevel.Tuple.Uncurry: [U60] :: t_aVp0 s1_aVp1 s2_aVp2 s3_aVp3 s4_aVp4 s5_aVp5 s6_aVp6 s7_aVp7 s8_aVp8 s9_aVp9 s10_aVpa s11_aVpb s12_aVpc s13_aVpd s14_aVpe s15_aVpf s16_aVpg s17_aVph s18_aVpi s19_aVpj s20_aVpk s21_aVpl s22_aVpm s23_aVpn s24_aVpo s25_aVpp s26_aVpq s27_aVpr s28_aVps s29_aVpt s30_aVpu s31_aVpv s32_aVpw s33_aVpx s34_aVpy s35_aVpz s36_aVpA s37_aVpB s38_aVpC s39_aVpD s40_aVpE s41_aVpF s42_aVpG s43_aVpH s44_aVpI s45_aVpJ s46_aVpK s47_aVpL s48_aVpM s49_aVpN s50_aVpO s51_aVpP s52_aVpQ s53_aVpR s54_aVpS s55_aVpT s56_aVpU s57_aVpV s58_aVpW s59_aVpX s60_aVpY -> U60 t_aVp0 '(s1_aVp1, s2_aVp2, s3_aVp3, s4_aVp4, s5_aVp5, s6_aVp6, s7_aVp7, s8_aVp8, s9_aVp9, s10_aVpa, s11_aVpb, s12_aVpc, s13_aVpd, s14_aVpe, s15_aVpf, s16_aVpg, s17_aVph, s18_aVpi, s19_aVpj, s20_aVpk, s21_aVpl, s22_aVpm, s23_aVpn, s24_aVpo, s25_aVpp, s26_aVpq, s27_aVpr, s28_aVps, s29_aVpt, s30_aVpu, s31_aVpv, s32_aVpw, s33_aVpx, s34_aVpy, s35_aVpz, s36_aVpA, s37_aVpB, s38_aVpC, s39_aVpD, s40_aVpE, s41_aVpF, s42_aVpG, s43_aVpH, s44_aVpI, s45_aVpJ, s46_aVpK, s47_aVpL, s48_aVpM, s49_aVpN, s50_aVpO, s51_aVpP, s52_aVpQ, s53_aVpR, s54_aVpS, s55_aVpT, s56_aVpU, s57_aVpV, s58_aVpW, s59_aVpX, s60_aVpY)
+ Data.TypeLevel.Tuple.Uncurry: [U60] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54) (s56 :: k55) (s57 :: k56) (s58 :: k57) (s59 :: k58) (s60 :: k59). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 s57 s58 s59 s60 -> U60 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s56, s57, s58, s59, s60)
- Data.TypeLevel.Tuple.Uncurry: [U61] :: t_aVpZ s1_aVq0 s2_aVq1 s3_aVq2 s4_aVq3 s5_aVq4 s6_aVq5 s7_aVq6 s8_aVq7 s9_aVq8 s10_aVq9 s11_aVqa s12_aVqb s13_aVqc s14_aVqd s15_aVqe s16_aVqf s17_aVqg s18_aVqh s19_aVqi s20_aVqj s21_aVqk s22_aVql s23_aVqm s24_aVqn s25_aVqo s26_aVqp s27_aVqq s28_aVqr s29_aVqs s30_aVqt s31_aVqu s32_aVqv s33_aVqw s34_aVqx s35_aVqy s36_aVqz s37_aVqA s38_aVqB s39_aVqC s40_aVqD s41_aVqE s42_aVqF s43_aVqG s44_aVqH s45_aVqI s46_aVqJ s47_aVqK s48_aVqL s49_aVqM s50_aVqN s51_aVqO s52_aVqP s53_aVqQ s54_aVqR s55_aVqS s56_aVqT s57_aVqU s58_aVqV s59_aVqW s60_aVqX s61_aVqY -> U61 t_aVpZ '(s1_aVq0, s2_aVq1, s3_aVq2, s4_aVq3, s5_aVq4, s6_aVq5, s7_aVq6, s8_aVq7, s9_aVq8, s10_aVq9, s11_aVqa, s12_aVqb, s13_aVqc, s14_aVqd, s15_aVqe, s16_aVqf, s17_aVqg, s18_aVqh, s19_aVqi, s20_aVqj, s21_aVqk, s22_aVql, s23_aVqm, s24_aVqn, s25_aVqo, s26_aVqp, s27_aVqq, s28_aVqr, s29_aVqs, s30_aVqt, s31_aVqu, s32_aVqv, s33_aVqw, s34_aVqx, s35_aVqy, s36_aVqz, s37_aVqA, s38_aVqB, s39_aVqC, s40_aVqD, s41_aVqE, s42_aVqF, s43_aVqG, s44_aVqH, s45_aVqI, s46_aVqJ, s47_aVqK, s48_aVqL, s49_aVqM, s50_aVqN, s51_aVqO, s52_aVqP, s53_aVqQ, s54_aVqR, s55_aVqS, s56_aVqT, s57_aVqU, s58_aVqV, s59_aVqW, s60_aVqX, s61_aVqY)
+ Data.TypeLevel.Tuple.Uncurry: [U61] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54) (s56 :: k55) (s57 :: k56) (s58 :: k57) (s59 :: k58) (s60 :: k59) (s61 :: k60). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 s57 s58 s59 s60 s61 -> U61 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s56, s57, s58, s59, s60, s61)
- Data.TypeLevel.Tuple.Uncurry: [U62] :: t_aVqZ s1_aVr0 s2_aVr1 s3_aVr2 s4_aVr3 s5_aVr4 s6_aVr5 s7_aVr6 s8_aVr7 s9_aVr8 s10_aVr9 s11_aVra s12_aVrb s13_aVrc s14_aVrd s15_aVre s16_aVrf s17_aVrg s18_aVrh s19_aVri s20_aVrj s21_aVrk s22_aVrl s23_aVrm s24_aVrn s25_aVro s26_aVrp s27_aVrq s28_aVrr s29_aVrs s30_aVrt s31_aVru s32_aVrv s33_aVrw s34_aVrx s35_aVry s36_aVrz s37_aVrA s38_aVrB s39_aVrC s40_aVrD s41_aVrE s42_aVrF s43_aVrG s44_aVrH s45_aVrI s46_aVrJ s47_aVrK s48_aVrL s49_aVrM s50_aVrN s51_aVrO s52_aVrP s53_aVrQ s54_aVrR s55_aVrS s56_aVrT s57_aVrU s58_aVrV s59_aVrW s60_aVrX s61_aVrY s62_aVrZ -> U62 t_aVqZ '(s1_aVr0, s2_aVr1, s3_aVr2, s4_aVr3, s5_aVr4, s6_aVr5, s7_aVr6, s8_aVr7, s9_aVr8, s10_aVr9, s11_aVra, s12_aVrb, s13_aVrc, s14_aVrd, s15_aVre, s16_aVrf, s17_aVrg, s18_aVrh, s19_aVri, s20_aVrj, s21_aVrk, s22_aVrl, s23_aVrm, s24_aVrn, s25_aVro, s26_aVrp, s27_aVrq, s28_aVrr, s29_aVrs, s30_aVrt, s31_aVru, s32_aVrv, s33_aVrw, s34_aVrx, s35_aVry, s36_aVrz, s37_aVrA, s38_aVrB, s39_aVrC, s40_aVrD, s41_aVrE, s42_aVrF, s43_aVrG, s44_aVrH, s45_aVrI, s46_aVrJ, s47_aVrK, s48_aVrL, s49_aVrM, s50_aVrN, s51_aVrO, s52_aVrP, s53_aVrQ, s54_aVrR, s55_aVrS, s56_aVrT, s57_aVrU, s58_aVrV, s59_aVrW, s60_aVrX, s61_aVrY, s62_aVrZ)
+ Data.TypeLevel.Tuple.Uncurry: [U62] :: forall {k} {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} (t :: k -> 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 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8) (s10 :: k9) (s11 :: k10) (s12 :: k11) (s13 :: k12) (s14 :: k13) (s15 :: k14) (s16 :: k15) (s17 :: k16) (s18 :: k17) (s19 :: k18) (s20 :: k19) (s21 :: k20) (s22 :: k21) (s23 :: k22) (s24 :: k23) (s25 :: k24) (s26 :: k25) (s27 :: k26) (s28 :: k27) (s29 :: k28) (s30 :: k29) (s31 :: k30) (s32 :: k31) (s33 :: k32) (s34 :: k33) (s35 :: k34) (s36 :: k35) (s37 :: k36) (s38 :: k37) (s39 :: k38) (s40 :: k39) (s41 :: k40) (s42 :: k41) (s43 :: k42) (s44 :: k43) (s45 :: k44) (s46 :: k45) (s47 :: k46) (s48 :: k47) (s49 :: k48) (s50 :: k49) (s51 :: k50) (s52 :: k51) (s53 :: k52) (s54 :: k53) (s55 :: k54) (s56 :: k55) (s57 :: k56) (s58 :: k57) (s59 :: k58) (s60 :: k59) (s61 :: k60) (s62 :: k61). t s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 s20 s21 s22 s23 s24 s25 s26 s27 s28 s29 s30 s31 s32 s33 s34 s35 s36 s37 s38 s39 s40 s41 s42 s43 s44 s45 s46 s47 s48 s49 s50 s51 s52 s53 s54 s55 s56 s57 s58 s59 s60 s61 s62 -> U62 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9, s10, s11, s12, s13, s14, s15, s16, s17, s18, s19, s20, s21, s22, s23, s24, s25, s26, s27, s28, s29, s30, s31, s32, s33, s34, s35, s36, s37, s38, s39, s40, s41, s42, s43, s44, s45, s46, s47, s48, s49, s50, s51, s52, s53, s54, s55, s56, s57, s58, s59, s60, s61, s62)
- Data.TypeLevel.Tuple.Uncurry: [U6] :: t_aUVP s1_aUVQ s2_aUVR s3_aUVS s4_aUVT s5_aUVU s6_aUVV -> U6 t_aUVP '(s1_aUVQ, s2_aUVR, s3_aUVS, s4_aUVT, s5_aUVU, s6_aUVV)
+ Data.TypeLevel.Tuple.Uncurry: [U6] :: forall {k} {k1} {k2} {k3} {k4} {k5} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5). t s1 s2 s3 s4 s5 s6 -> U6 t '(s1, s2, s3, s4, s5, s6)
- Data.TypeLevel.Tuple.Uncurry: [U7] :: t_aUVW s1_aUVX s2_aUVY s3_aUVZ s4_aUW0 s5_aUW1 s6_aUW2 s7_aUW3 -> U7 t_aUVW '(s1_aUVX, s2_aUVY, s3_aUVZ, s4_aUW0, s5_aUW1, s6_aUW2, s7_aUW3)
+ Data.TypeLevel.Tuple.Uncurry: [U7] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6). t s1 s2 s3 s4 s5 s6 s7 -> U7 t '(s1, s2, s3, s4, s5, s6, s7)
- Data.TypeLevel.Tuple.Uncurry: [U8] :: t_aUW4 s1_aUW5 s2_aUW6 s3_aUW7 s4_aUW8 s5_aUW9 s6_aUWa s7_aUWb s8_aUWc -> U8 t_aUW4 '(s1_aUW5, s2_aUW6, s3_aUW7, s4_aUW8, s5_aUW9, s6_aUWa, s7_aUWb, s8_aUWc)
+ Data.TypeLevel.Tuple.Uncurry: [U8] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7). t s1 s2 s3 s4 s5 s6 s7 s8 -> U8 t '(s1, s2, s3, s4, s5, s6, s7, s8)
- Data.TypeLevel.Tuple.Uncurry: [U9] :: t_aUWd s1_aUWe s2_aUWf s3_aUWg s4_aUWh s5_aUWi s6_aUWj s7_aUWk s8_aUWl s9_aUWm -> U9 t_aUWd '(s1_aUWe, s2_aUWf, s3_aUWg, s4_aUWh, s5_aUWi, s6_aUWj, s7_aUWk, s8_aUWl, s9_aUWm)
+ Data.TypeLevel.Tuple.Uncurry: [U9] :: forall {k} {k1} {k2} {k3} {k4} {k5} {k6} {k7} {k8} (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> Type) (s1 :: k) (s2 :: k1) (s3 :: k2) (s4 :: k3) (s5 :: k4) (s6 :: k5) (s7 :: k6) (s8 :: k7) (s9 :: k8). t s1 s2 s3 s4 s5 s6 s7 s8 s9 -> U9 t '(s1, s2, s3, s4, s5, s6, s7, s8, s9)
- Data.TypeLevel.Tuple.Uncurry: data U10 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U10 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9))
- Data.TypeLevel.Tuple.Uncurry: data U11 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U11 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10))
- Data.TypeLevel.Tuple.Uncurry: data U12 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U12 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11))
- Data.TypeLevel.Tuple.Uncurry: data U13 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U13 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12))
- Data.TypeLevel.Tuple.Uncurry: data U14 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U14 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13))
- Data.TypeLevel.Tuple.Uncurry: data U15 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U15 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14))
- Data.TypeLevel.Tuple.Uncurry: data U16 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U16 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15))
- Data.TypeLevel.Tuple.Uncurry: data U17 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U17 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16))
- Data.TypeLevel.Tuple.Uncurry: data U18 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U18 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17))
- Data.TypeLevel.Tuple.Uncurry: data U19 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U19 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18))
- Data.TypeLevel.Tuple.Uncurry: data U2 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U2 (t :: k -> k1 -> Type) (ss :: (k, k1))
- Data.TypeLevel.Tuple.Uncurry: data U20 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U20 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19))
- Data.TypeLevel.Tuple.Uncurry: data U21 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U21 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20))
- Data.TypeLevel.Tuple.Uncurry: data U22 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U22 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21))
- Data.TypeLevel.Tuple.Uncurry: data U23 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U23 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> k22 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22))
- Data.TypeLevel.Tuple.Uncurry: data U24 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U24 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> k22 -> k23 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23))
- Data.TypeLevel.Tuple.Uncurry: data U25 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U25 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9 -> k10 -> k11 -> k12 -> k13 -> k14 -> k15 -> k16 -> k17 -> k18 -> k19 -> k20 -> k21 -> k22 -> k23 -> k24 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k14, k15, k16, k17, k18, k19, k20, k21, k22, k23, k24))
- Data.TypeLevel.Tuple.Uncurry: data U26 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U26 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U27 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U27 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U28 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U28 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U29 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U29 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U3 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U3 (t :: k -> k1 -> k2 -> Type) (ss :: (k, k1, k2))
- Data.TypeLevel.Tuple.Uncurry: data U30 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U30 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U31 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U31 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U32 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U32 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U33 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U33 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U34 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U34 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U35 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U35 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U36 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U36 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U37 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U37 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U38 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U38 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U39 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U39 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U4 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U4 (t :: k -> k1 -> k2 -> k3 -> Type) (ss :: (k, k1, k2, k3))
- Data.TypeLevel.Tuple.Uncurry: data U40 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U40 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U41 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U41 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U42 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U42 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U43 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U43 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U44 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U44 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U45 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U45 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U46 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U46 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U47 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U47 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U48 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U48 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U49 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U49 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U5 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U5 (t :: k -> k1 -> k2 -> k3 -> k4 -> Type) (ss :: (k, k1, k2, k3, k4))
- Data.TypeLevel.Tuple.Uncurry: data U50 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U50 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U51 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U51 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U52 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U52 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U53 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U53 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U54 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U54 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U55 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U55 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U56 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U56 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U57 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U57 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U58 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U58 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U59 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U59 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U6 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U6 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> Type) (ss :: (k, k1, k2, k3, k4, k5))
- Data.TypeLevel.Tuple.Uncurry: data U60 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U60 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U61 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U61 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U62 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U62 (t :: k -> 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 -> Type) (ss :: (k, 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))
- Data.TypeLevel.Tuple.Uncurry: data U7 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U7 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6))
- Data.TypeLevel.Tuple.Uncurry: data U8 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U8 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7))
- Data.TypeLevel.Tuple.Uncurry: data U9 t ss
+ Data.TypeLevel.Tuple.Uncurry: data U9 (t :: k -> k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> Type) (ss :: (k, k1, k2, k3, k4, k5, k6, k7, k8))
Files
src/Data/TypeLevel/List.hs view
@@ -9,7 +9,9 @@ module Data.TypeLevel.List ( Length(..), IsPrefixOf, InfixIndex(..),- module Data.TypeLevel.List.Unzip+ module Data.TypeLevel.List.Unzip,++ Append ) where import Prelude hiding (length, unzip)@@ -32,3 +34,7 @@ instance {-# OVERLAPPABLE #-} InfixIndex xs ys => InfixIndex xs (y ': ys) where infixIndex = infixIndex @_ @xs @ys + 1++type family Append xs ys where+ '[] `Append` ys = ys+ (x ': xs) `Append` ys = x ': (xs `Append` ys)
typelevel-tools-yj.cabal view
@@ -1,11 +1,11 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.37.0.+-- This file has been generated from package.yaml by hpack version 0.38.0. -- -- see: https://github.com/sol/hpack name: typelevel-tools-yj-version: 0.1.0.8+version: 0.1.0.9 synopsis: type level tools description: Please see the README on GitHub at <https://github.com/YoshikuniJujo/typelevel-tools-yj#readme> category: Types