-- | Primitive recursive functions on various data structures
module Mini.Data.Recursion (
  -- * Re-exports
  bool,
  either,
  maybe,
  uncurry,
  graph,
  map,
  set,

  -- * Lists
  list,
  nonEmpty,

  -- * Orderings
  ordering,

  -- * n-Tuples (3 to 64)
  uncurry3,
  uncurry4,
  uncurry5,
  uncurry6,
  uncurry7,
  uncurry8,
  uncurry9,
  uncurry10,
  uncurry11,
  uncurry12,
  uncurry13,
  uncurry14,
  uncurry15,
  uncurry16,
  uncurry17,
  uncurry18,
  uncurry19,
  uncurry20,
  uncurry21,
  uncurry22,
  uncurry23,
  uncurry24,
  uncurry25,
  uncurry26,
  uncurry27,
  uncurry28,
  uncurry29,
  uncurry30,
  uncurry31,
  uncurry32,
  uncurry33,
  uncurry34,
  uncurry35,
  uncurry36,
  uncurry37,
  uncurry38,
  uncurry39,
  uncurry40,
  uncurry41,
  uncurry42,
  uncurry43,
  uncurry44,
  uncurry45,
  uncurry46,
  uncurry47,
  uncurry48,
  uncurry49,
  uncurry50,
  uncurry51,
  uncurry52,
  uncurry53,
  uncurry54,
  uncurry55,
  uncurry56,
  uncurry57,
  uncurry58,
  uncurry59,
  uncurry60,
  uncurry61,
  uncurry62,
  uncurry63,
  uncurry64,
) where

import Data.Bool (
  Bool,
 )
import qualified Data.Bool as Bool (
  bool,
 )
import Data.Either (
  Either,
 )
import qualified Data.Either as Either (
  either,
 )
import Data.List.NonEmpty (
  NonEmpty (
    (:|)
  ),
 )
import Data.Maybe (
  Maybe,
 )
import qualified Data.Maybe as Maybe (
  maybe,
 )
import Data.Ord (
  Ordering (
    EQ,
    GT,
    LT
  ),
 )
import qualified Data.Tuple as Tuple (
  uncurry,
 )
import Mini.Data.Graph (
  graph,
 )
import Mini.Data.Map (
  map,
 )
import Mini.Data.Set (
  set,
 )

{-
 - Re-exports
 -}

-- | Primitive recursion on bools
bool
  :: a
  -- ^ Value yielded in case of 'Bool.False'
  -> a
  -- ^ Value yielded in case of 'Bool.True'
  -> Bool
  -- ^ Object of the case analysis
  -> a
bool :: forall a. a -> a -> Bool -> a
bool = a -> a -> Bool -> a
forall a. a -> a -> Bool -> a
Bool.bool

-- | Primitive recursion on eithers
either
  :: (a -> c)
  -- ^ Function applied to @a@ in case of @'Either.Left' a@
  -> (b -> c)
  -- ^ Function applied to @b@ in case of @'Either.Right' b@
  -> Either a b
  -- ^ Object of the case analysis
  -> c
either :: forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either = (a -> c) -> (b -> c) -> Either a b -> c
forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
Either.either

-- | Primitive recursion on maybes
maybe
  :: b
  -- ^ Value yielded in case of 'Maybe.Nothing'
  -> (a -> b)
  -- ^ Function applied to @a@ in case of @'Maybe.Just' a@
  -> Maybe a
  -- ^ Object of the case analysis
  -> b
maybe :: forall b a. b -> (a -> b) -> Maybe a -> b
maybe = b -> (a -> b) -> Maybe a -> b
forall b a. b -> (a -> b) -> Maybe a -> b
Maybe.maybe

-- | Primitive recursion on 2-tuples
uncurry
  :: (t1 -> t2 -> t3)
  -- ^ Function applied to the elements of the 2-tuple
  -> (t1, t2)
  -- ^ The 2-tuple
  -> t3
uncurry :: forall t1 t2 t3. (t1 -> t2 -> t3) -> (t1, t2) -> t3
uncurry = (t1 -> t2 -> t3) -> (t1, t2) -> t3
forall t1 t2 t3. (t1 -> t2 -> t3) -> (t1, t2) -> t3
Tuple.uncurry

{-
 - Lists
 -}

-- | Primitive recursion on lists
list
  :: b
  -- ^ Value yielded in case of empty list
  -> (a -> [a] -> b -> b)
  -- ^ Function applied in case of non-empty list: head, tail, recursion
  -> [a]
  -- ^ Object of the case analysis
  -> b
list :: forall b a. b -> (a -> [a] -> b -> b) -> [a] -> b
list b
e a -> [a] -> b -> b
_ [] = b
e
list b
e a -> [a] -> b -> b
f (a
a : [a]
as) = a -> [a] -> b -> b
f a
a [a]
as (b -> (a -> [a] -> b -> b) -> [a] -> b
forall b a. b -> (a -> [a] -> b -> b) -> [a] -> b
list b
e a -> [a] -> b -> b
f [a]
as)

-- | Primitive recursion on non-empty lists
nonEmpty
  :: (a -> [a] -> b)
  -- ^ Function applied to the head and tail of the non-empty list
  -> NonEmpty a
  -- ^ The non-empty list
  -> b
nonEmpty :: forall a b. (a -> [a] -> b) -> NonEmpty a -> b
nonEmpty a -> [a] -> b
f (a
a :| [a]
as) = a -> [a] -> b
f a
a [a]
as

{-
 - Orderings
 -}

-- | Primitive recursion on orderings
ordering
  :: a
  -- ^ Value yielded in case of 'LT'
  -> a
  -- ^ Value yielded in case of 'EQ'
  -> a
  -- ^ Value yielded in case of 'GT'
  -> Ordering
  -- ^ Object of the case analysis
  -> a
ordering :: forall a. a -> a -> a -> Ordering -> a
ordering a
lt a
_ a
_ Ordering
LT = a
lt
ordering a
_ a
eq a
_ Ordering
EQ = a
eq
ordering a
_ a
_ a
gt Ordering
GT = a
gt

{-
 - n-Tuples (3 to 64)
 -}

-- | Primitive recursion on 3-tuples
uncurry3
  :: (t1 -> t2 -> t3 -> t4)
  -- ^ Function applied to the elements of the 3-tuple
  -> (t1, t2, t3)
  -- ^ The 3-tuple
  -> t4
uncurry3 :: forall t1 t2 t3 t4. (t1 -> t2 -> t3 -> t4) -> (t1, t2, t3) -> t4
uncurry3 t1 -> t2 -> t3 -> t4
f (t1
t1, t2
t2, t3
t3) = t1 -> t2 -> t3 -> t4
f t1
t1 t2
t2 t3
t3

-- | Primitive recursion on 4-tuples
uncurry4
  :: (t1 -> t2 -> t3 -> t4 -> t5)
  -- ^ Function applied to the elements of the 4-tuple
  -> (t1, t2, t3, t4)
  -- ^ The 4-tuple
  -> t5
uncurry4 :: forall t1 t2 t3 t4 t5.
(t1 -> t2 -> t3 -> t4 -> t5) -> (t1, t2, t3, t4) -> t5
uncurry4 t1 -> t2 -> t3 -> t4 -> t5
f (t1
t1, t2
t2, t3
t3, t4
t4) = t1 -> t2 -> t3 -> t4 -> t5
f t1
t1 t2
t2 t3
t3 t4
t4

-- | Primitive recursion on 5-tuples
uncurry5
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6)
  -- ^ Function applied to the elements of the 5-tuple
  -> (t1, t2, t3, t4, t5)
  -- ^ The 5-tuple
  -> t6
uncurry5 :: forall t1 t2 t3 t4 t5 t6.
(t1 -> t2 -> t3 -> t4 -> t5 -> t6) -> (t1, t2, t3, t4, t5) -> t6
uncurry5 t1 -> t2 -> t3 -> t4 -> t5 -> t6
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5) = t1 -> t2 -> t3 -> t4 -> t5 -> t6
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5

-- | Primitive recursion on 6-tuples
uncurry6
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7)
  -- ^ Function applied to the elements of the 6-tuple
  -> (t1, t2, t3, t4, t5, t6)
  -- ^ The 6-tuple
  -> t7
uncurry6 :: forall t1 t2 t3 t4 t5 t6 t7.
(t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7)
-> (t1, t2, t3, t4, t5, t6) -> t7
uncurry6 t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6) = t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6

-- | Primitive recursion on 7-tuples
uncurry7
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8)
  -- ^ Function applied to the elements of the 7-tuple
  -> (t1, t2, t3, t4, t5, t6, t7)
  -- ^ The 7-tuple
  -> t8
uncurry7 :: forall t1 t2 t3 t4 t5 t6 t7 t8.
(t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8)
-> (t1, t2, t3, t4, t5, t6, t7) -> t8
uncurry7 t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7) = t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7

-- | Primitive recursion on 8-tuples
uncurry8
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9)
  -- ^ Function applied to the elements of the 8-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8)
  -- ^ The 8-tuple
  -> t9
uncurry8 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9.
(t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9)
-> (t1, t2, t3, t4, t5, t6, t7, t8) -> t9
uncurry8 t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8) = t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8

-- | Primitive recursion on 9-tuples
uncurry9
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10)
  -- ^ Function applied to the elements of the 9-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9)
  -- ^ The 9-tuple
  -> t10
uncurry9 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10.
(t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9) -> t10
uncurry9 t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9) = t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9

-- | Primitive recursion on 10-tuples
uncurry10
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11)
  -- ^ Function applied to the elements of the 10-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)
  -- ^ The 10-tuple
  -> t11
uncurry10 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11.
(t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) -> t11
uncurry10 t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10) =
  t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10

-- | Primitive recursion on 11-tuples
uncurry11
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12)
  -- ^ Function applied to the elements of the 11-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)
  -- ^ The 11-tuple
  -> t12
uncurry11 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) -> t12
uncurry11 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11

-- | Primitive recursion on 12-tuples
uncurry12
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13)
  -- ^ Function applied to the elements of the 12-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)
  -- ^ The 12-tuple
  -> t13
uncurry12 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12) -> t13
uncurry12 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12

-- | Primitive recursion on 13-tuples
uncurry13
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14)
  -- ^ Function applied to the elements of the 13-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)
  -- ^ The 13-tuple
  -> t14
uncurry13 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13) -> t14
uncurry13 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13

-- | Primitive recursion on 14-tuples
uncurry14
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15)
  -- ^ Function applied to the elements of the 14-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
  -- ^ The 14-tuple
  -> t15
uncurry14 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)
-> t15
uncurry14 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14

-- | Primitive recursion on 15-tuples
uncurry15
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16)
  -- ^ Function applied to the elements of the 15-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)
  -- ^ The 15-tuple
  -> t16
uncurry15 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15)
-> t16
uncurry15 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15

-- | Primitive recursion on 16-tuples
uncurry16
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17)
  -- ^ Function applied to the elements of the 16-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)
  -- ^ The 16-tuple
  -> t17
uncurry16 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16)
-> t17
uncurry16 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16

-- | Primitive recursion on 17-tuples
uncurry17
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18)
  -- ^ Function applied to the elements of the 17-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)
  -- ^ The 17-tuple
  -> t18
uncurry17 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17)
-> t18
uncurry17 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17

-- | Primitive recursion on 18-tuples
uncurry18
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19)
  -- ^ Function applied to the elements of the 18-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)
  -- ^ The 18-tuple
  -> t19
uncurry18 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18)
-> t19
uncurry18 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18

-- | Primitive recursion on 19-tuples
uncurry19
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20)
  -- ^ Function applied to the elements of the 19-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)
  -- ^ The 19-tuple
  -> t20
uncurry19 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19)
-> t20
uncurry19 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19

-- | Primitive recursion on 20-tuples
uncurry20
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21)
  -- ^ Function applied to the elements of the 20-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)
  -- ^ The 20-tuple
  -> t21
uncurry20 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20)
-> t21
uncurry20 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20

-- | Primitive recursion on 21-tuples
uncurry21
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22)
  -- ^ Function applied to the elements of the 21-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)
  -- ^ The 21-tuple
  -> t22
uncurry21 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21)
-> t22
uncurry21 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21

-- | Primitive recursion on 22-tuples
uncurry22
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23)
  -- ^ Function applied to the elements of the 22-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)
  -- ^ The 22-tuple
  -> t23
uncurry22 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22)
-> t23
uncurry22 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22

-- | Primitive recursion on 23-tuples
uncurry23
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24)
  -- ^ Function applied to the elements of the 23-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)
  -- ^ The 23-tuple
  -> t24
uncurry23 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23)
-> t24
uncurry23 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23

-- | Primitive recursion on 24-tuples
uncurry24
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25)
  -- ^ Function applied to the elements of the 24-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
  -- ^ The 24-tuple
  -> t25
uncurry24 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)
-> t25
uncurry24 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24

-- | Primitive recursion on 25-tuples
uncurry25
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26)
  -- ^ Function applied to the elements of the 25-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
  -- ^ The 25-tuple
  -> t26
uncurry25 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)
-> t26
uncurry25 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25

-- | Primitive recursion on 26-tuples
uncurry26
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27)
  -- ^ Function applied to the elements of the 26-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
  -- ^ The 26-tuple
  -> t27
uncurry26 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)
-> t27
uncurry26 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26

-- | Primitive recursion on 27-tuples
uncurry27
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28)
  -- ^ Function applied to the elements of the 27-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
  -- ^ The 27-tuple
  -> t28
uncurry27 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)
-> t28
uncurry27 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27

-- | Primitive recursion on 28-tuples
uncurry28
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29)
  -- ^ Function applied to the elements of the 28-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)
  -- ^ The 28-tuple
  -> t29
uncurry28 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28)
-> t29
uncurry28 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28

-- | Primitive recursion on 29-tuples
uncurry29
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30)
  -- ^ Function applied to the elements of the 29-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)
  -- ^ The 29-tuple
  -> t30
uncurry29 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29)
-> t30
uncurry29 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29

-- | Primitive recursion on 30-tuples
uncurry30
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31)
  -- ^ Function applied to the elements of the 30-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)
  -- ^ The 30-tuple
  -> t31
uncurry30 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30)
-> t31
uncurry30 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30

-- | Primitive recursion on 31-tuples
uncurry31
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32)
  -- ^ Function applied to the elements of the 31-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)
  -- ^ The 31-tuple
  -> t32
uncurry31 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31)
-> t32
uncurry31 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31

-- | Primitive recursion on 32-tuples
uncurry32
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33)
  -- ^ Function applied to the elements of the 32-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)
  -- ^ The 32-tuple
  -> t33
uncurry32 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32)
-> t33
uncurry32 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32

-- | Primitive recursion on 33-tuples
uncurry33
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34)
  -- ^ Function applied to the elements of the 33-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33)
  -- ^ The 33-tuple
  -> t34
uncurry33 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33
       t34.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33)
-> t34
uncurry33 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33

-- | Primitive recursion on 34-tuples
uncurry34
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35)
  -- ^ Function applied to the elements of the 34-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34)
  -- ^ The 34-tuple
  -> t35
uncurry34 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34)
-> t35
uncurry34 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34

-- | Primitive recursion on 35-tuples
uncurry35
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36)
  -- ^ Function applied to the elements of the 35-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35)
  -- ^ The 35-tuple
  -> t36
uncurry35 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35)
-> t36
uncurry35 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35

-- | Primitive recursion on 36-tuples
uncurry36
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37)
  -- ^ Function applied to the elements of the 36-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36)
  -- ^ The 36-tuple
  -> t37
uncurry36 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36)
-> t37
uncurry36 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36

-- | Primitive recursion on 37-tuples
uncurry37
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38)
  -- ^ Function applied to the elements of the 37-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37)
  -- ^ The 37-tuple
  -> t38
uncurry37 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37)
-> t38
uncurry37 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37

-- | Primitive recursion on 38-tuples
uncurry38
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39)
  -- ^ Function applied to the elements of the 38-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38)
  -- ^ The 38-tuple
  -> t39
uncurry38 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38)
-> t39
uncurry38 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38

-- | Primitive recursion on 39-tuples
uncurry39
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40)
  -- ^ Function applied to the elements of the 39-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39)
  -- ^ The 39-tuple
  -> t40
uncurry39 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39)
-> t40
uncurry39 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39

-- | Primitive recursion on 40-tuples
uncurry40
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41)
  -- ^ Function applied to the elements of the 40-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40)
  -- ^ The 40-tuple
  -> t41
uncurry40 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40)
-> t41
uncurry40 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40

-- | Primitive recursion on 41-tuples
uncurry41
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42)
  -- ^ Function applied to the elements of the 41-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41)
  -- ^ The 41-tuple
  -> t42
uncurry41 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41)
-> t42
uncurry41 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41

-- | Primitive recursion on 42-tuples
uncurry42
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43)
  -- ^ Function applied to the elements of the 42-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42)
  -- ^ The 42-tuple
  -> t43
uncurry42 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42)
-> t43
uncurry42 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42

-- | Primitive recursion on 43-tuples
uncurry43
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44)
  -- ^ Function applied to the elements of the 43-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43)
  -- ^ The 43-tuple
  -> t44
uncurry43 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43)
-> t44
uncurry43 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43

-- | Primitive recursion on 44-tuples
uncurry44
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45)
  -- ^ Function applied to the elements of the 44-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44)
  -- ^ The 44-tuple
  -> t45
uncurry44 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44)
-> t45
uncurry44 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44

-- | Primitive recursion on 45-tuples
uncurry45
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46)
  -- ^ Function applied to the elements of the 45-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45)
  -- ^ The 45-tuple
  -> t46
uncurry45 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45)
-> t46
uncurry45 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45

-- | Primitive recursion on 46-tuples
uncurry46
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47)
  -- ^ Function applied to the elements of the 46-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46)
  -- ^ The 46-tuple
  -> t47
uncurry46 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46)
-> t47
uncurry46 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46

-- | Primitive recursion on 47-tuples
uncurry47
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48)
  -- ^ Function applied to the elements of the 47-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47)
  -- ^ The 47-tuple
  -> t48
uncurry47 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47)
-> t48
uncurry47 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47

-- | Primitive recursion on 48-tuples
uncurry48
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49)
  -- ^ Function applied to the elements of the 48-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48)
  -- ^ The 48-tuple
  -> t49
uncurry48 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48)
-> t49
uncurry48 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48

-- | Primitive recursion on 49-tuples
uncurry49
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50)
  -- ^ Function applied to the elements of the 49-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49)
  -- ^ The 49-tuple
  -> t50
uncurry49 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49)
-> t50
uncurry49 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49

-- | Primitive recursion on 50-tuples
uncurry50
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51)
  -- ^ Function applied to the elements of the 50-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50)
  -- ^ The 50-tuple
  -> t51
uncurry50 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50
       t51.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50)
-> t51
uncurry50 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50

-- | Primitive recursion on 51-tuples
uncurry51
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52)
  -- ^ Function applied to the elements of the 51-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51)
  -- ^ The 51-tuple
  -> t52
uncurry51 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51)
-> t52
uncurry51 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51

-- | Primitive recursion on 52-tuples
uncurry52
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53)
  -- ^ Function applied to the elements of the 52-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52)
  -- ^ The 52-tuple
  -> t53
uncurry52 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52)
-> t53
uncurry52 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52

-- | Primitive recursion on 53-tuples
uncurry53
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54)
  -- ^ Function applied to the elements of the 53-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53)
  -- ^ The 53-tuple
  -> t54
uncurry53 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53)
-> t54
uncurry53 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53

-- | Primitive recursion on 54-tuples
uncurry54
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55)
  -- ^ Function applied to the elements of the 54-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54)
  -- ^ The 54-tuple
  -> t55
uncurry54 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54)
-> t55
uncurry54 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54

-- | Primitive recursion on 55-tuples
uncurry55
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56)
  -- ^ Function applied to the elements of the 55-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55)
  -- ^ The 55-tuple
  -> t56
uncurry55 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55)
-> t56
uncurry55 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55

-- | Primitive recursion on 56-tuples
uncurry56
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57)
  -- ^ Function applied to the elements of the 56-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56)
  -- ^ The 56-tuple
  -> t57
uncurry56 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56)
-> t57
uncurry56 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56

-- | Primitive recursion on 57-tuples
uncurry57
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58)
  -- ^ Function applied to the elements of the 57-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57)
  -- ^ The 57-tuple
  -> t58
uncurry57 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57)
-> t58
uncurry57 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57

-- | Primitive recursion on 58-tuples
uncurry58
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58 -> t59)
  -- ^ Function applied to the elements of the 58-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58)
  -- ^ The 58-tuple
  -> t59
uncurry58 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58 t59.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58
 -> t59)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57, t58)
-> t59
uncurry58 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57, t58
t58) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57 t58
t58

-- | Primitive recursion on 59-tuples
uncurry59
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58 -> t59 -> t60)
  -- ^ Function applied to the elements of the 59-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59)
  -- ^ The 59-tuple
  -> t60
uncurry59 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58 t59 t60.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58
 -> t59
 -> t60)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57, t58, t59)
-> t60
uncurry59 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57, t58
t58, t59
t59) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57 t58
t58 t59
t59

-- | Primitive recursion on 60-tuples
uncurry60
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58 -> t59 -> t60 -> t61)
  -- ^ Function applied to the elements of the 60-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t60)
  -- ^ The 60-tuple
  -> t61
uncurry60 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58 t59 t60 t61.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58
 -> t59
 -> t60
 -> t61)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57, t58, t59, t60)
-> t61
uncurry60 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57, t58
t58, t59
t59, t60
t60) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57 t58
t58 t59
t59 t60
t60

-- | Primitive recursion on 61-tuples
uncurry61
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58 -> t59 -> t60 -> t61 -> t62)
  -- ^ Function applied to the elements of the 61-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t60, t61)
  -- ^ The 61-tuple
  -> t62
uncurry61 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58
 -> t59
 -> t60
 -> t61
 -> t62)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57, t58, t59, t60, t61)
-> t62
uncurry61 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57, t58
t58, t59
t59, t60
t60, t61
t61) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57 t58
t58 t59
t59 t60
t60 t61
t61

-- | Primitive recursion on 62-tuples
uncurry62
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58 -> t59 -> t60 -> t61 -> t62 -> t63)
  -- ^ Function applied to the elements of the 62-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t60, t61, t62)
  -- ^ The 62-tuple
  -> t63
uncurry62 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58
 -> t59
 -> t60
 -> t61
 -> t62
 -> t63)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57, t58, t59, t60, t61, t62)
-> t63
uncurry62 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
-> t63
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57, t58
t58, t59
t59, t60
t60, t61
t61, t62
t62) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
-> t63
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57 t58
t58 t59
t59 t60
t60 t61
t61 t62
t62

-- | Primitive recursion on 63-tuples
uncurry63
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58 -> t59 -> t60 -> t61 -> t62 -> t63 -> t64)
  -- ^ Function applied to the elements of the 63-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t60, t61, t62, t63)
  -- ^ The 63-tuple
  -> t64
uncurry63 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58
 -> t59
 -> t60
 -> t61
 -> t62
 -> t63
 -> t64)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57, t58, t59, t60, t61, t62, t63)
-> t64
uncurry63 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
-> t63
-> t64
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57, t58
t58, t59
t59, t60
t60, t61
t61, t62
t62, t63
t63) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
-> t63
-> t64
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57 t58
t58 t59
t59 t60
t60 t61
t61 t62
t62 t63
t63

-- | Primitive recursion on 64-tuples
uncurry64
  :: (t1 -> t2 -> t3 -> t4 -> t5 -> t6 -> t7 -> t8 -> t9 -> t10 -> t11 -> t12 -> t13 -> t14 -> t15 -> t16 -> t17 -> t18 -> t19 -> t20 -> t21 -> t22 -> t23 -> t24 -> t25 -> t26 -> t27 -> t28 -> t29 -> t30 -> t31 -> t32 -> t33 -> t34 -> t35 -> t36 -> t37 -> t38 -> t39 -> t40 -> t41 -> t42 -> t43 -> t44 -> t45 -> t46 -> t47 -> t48 -> t49 -> t50 -> t51 -> t52 -> t53 -> t54 -> t55 -> t56 -> t57 -> t58 -> t59 -> t60 -> t61 -> t62 -> t63 -> t64 -> t65)
  -- ^ Function applied to the elements of the 64-tuple
  -> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t60, t61, t62, t63, t64)
  -- ^ The 64-tuple
  -> t65
uncurry64 :: forall t1 t2 t3 t4 t5 t6 t7 t8 t9 t10 t11 t12 t13 t14 t15 t16 t17
       t18 t19 t20 t21 t22 t23 t24 t25 t26 t27 t28 t29 t30 t31 t32 t33 t34
       t35 t36 t37 t38 t39 t40 t41 t42 t43 t44 t45 t46 t47 t48 t49 t50 t51
       t52 t53 t54 t55 t56 t57 t58 t59 t60 t61 t62 t63 t64 t65.
(t1
 -> t2
 -> t3
 -> t4
 -> t5
 -> t6
 -> t7
 -> t8
 -> t9
 -> t10
 -> t11
 -> t12
 -> t13
 -> t14
 -> t15
 -> t16
 -> t17
 -> t18
 -> t19
 -> t20
 -> t21
 -> t22
 -> t23
 -> t24
 -> t25
 -> t26
 -> t27
 -> t28
 -> t29
 -> t30
 -> t31
 -> t32
 -> t33
 -> t34
 -> t35
 -> t36
 -> t37
 -> t38
 -> t39
 -> t40
 -> t41
 -> t42
 -> t43
 -> t44
 -> t45
 -> t46
 -> t47
 -> t48
 -> t49
 -> t50
 -> t51
 -> t52
 -> t53
 -> t54
 -> t55
 -> t56
 -> t57
 -> t58
 -> t59
 -> t60
 -> t61
 -> t62
 -> t63
 -> t64
 -> t65)
-> (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14,
    t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27,
    t28, t29, t30, t31, t32, t33, t34, t35, t36, t37, t38, t39, t40,
    t41, t42, t43, t44, t45, t46, t47, t48, t49, t50, t51, t52, t53,
    t54, t55, t56, t57, t58, t59, t60, t61, t62, t63, t64)
-> t65
uncurry64 t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
-> t63
-> t64
-> t65
f (t1
t1, t2
t2, t3
t3, t4
t4, t5
t5, t6
t6, t7
t7, t8
t8, t9
t9, t10
t10, t11
t11, t12
t12, t13
t13, t14
t14, t15
t15, t16
t16, t17
t17, t18
t18, t19
t19, t20
t20, t21
t21, t22
t22, t23
t23, t24
t24, t25
t25, t26
t26, t27
t27, t28
t28, t29
t29, t30
t30, t31
t31, t32
t32, t33
t33, t34
t34, t35
t35, t36
t36, t37
t37, t38
t38, t39
t39, t40
t40, t41
t41, t42
t42, t43
t43, t44
t44, t45
t45, t46
t46, t47
t47, t48
t48, t49
t49, t50
t50, t51
t51, t52
t52, t53
t53, t54
t54, t55
t55, t56
t56, t57
t57, t58
t58, t59
t59, t60
t60, t61
t61, t62
t62, t63
t63, t64
t64) =
  t1
-> t2
-> t3
-> t4
-> t5
-> t6
-> t7
-> t8
-> t9
-> t10
-> t11
-> t12
-> t13
-> t14
-> t15
-> t16
-> t17
-> t18
-> t19
-> t20
-> t21
-> t22
-> t23
-> t24
-> t25
-> t26
-> t27
-> t28
-> t29
-> t30
-> t31
-> t32
-> t33
-> t34
-> t35
-> t36
-> t37
-> t38
-> t39
-> t40
-> t41
-> t42
-> t43
-> t44
-> t45
-> t46
-> t47
-> t48
-> t49
-> t50
-> t51
-> t52
-> t53
-> t54
-> t55
-> t56
-> t57
-> t58
-> t59
-> t60
-> t61
-> t62
-> t63
-> t64
-> t65
f t1
t1 t2
t2 t3
t3 t4
t4 t5
t5 t6
t6 t7
t7 t8
t8 t9
t9 t10
t10 t11
t11 t12
t12 t13
t13 t14
t14 t15
t15 t16
t16 t17
t17 t18
t18 t19
t19 t20
t20 t21
t21 t22
t22 t23
t23 t24
t24 t25
t25 t26
t26 t27
t27 t28
t28 t29
t29 t30
t30 t31
t31 t32
t32 t33
t33 t34
t34 t35
t35 t36
t36 t37
t37 t38
t38 t39
t39 t40
t40 t41
t41 t42
t42 t43
t43 t44
t44 t45
t45 t46
t46 t47
t47 t48
t48 t49
t49 t50
t50 t51
t51 t52
t52 t53
t53 t54
t54 t55
t55 t56
t56 t57
t57 t58
t58 t59
t59 t60
t60 t61
t61 t62
t62 t63
t63 t64
t64