Data.Sums

Anonymous sum types.

Provides functionality similar to that of tuples, but for sum types rather than product types. Less clumsy than using nested Either.

Anonymous sum types

data S0

Instances

Eq S0

Ord S0

Read S0

Show S0

Typeable S0

Exception S0

data S1 a

Constructors

S1a a

Instances

Typeable1 S1

Eq a => Eq (S1 a)

Ord a => Ord (S1 a)

Read a => Read (S1 a)

Show a => Show (S1 a)

(Typeable a, Show a) => Exception (S1 a)

data S2 a b

Constructors

S2a a

S2b b

Instances

Typeable2 S2

(Eq a, Eq b) => Eq (S2 a b)

(Ord a, Ord b) => Ord (S2 a b)

(Read a, Read b) => Read (S2 a b)

(Show a, Show b) => Show (S2 a b)

(Typeable a, Show a, Typeable b, Show b) => Exception (S2 a b)

data S3 a b c

Constructors

S3a a

S3b b

S3c c

Instances

Typeable3 S3

(Eq a, Eq b, Eq c) => Eq (S3 a b c)

(Ord a, Ord b, Ord c) => Ord (S3 a b c)

(Read a, Read b, Read c) => Read (S3 a b c)

(Show a, Show b, Show c) => Show (S3 a b c)

(Typeable a, Show a, Typeable b, Show b, Typeable c, Show c) => Exception (S3 a b c)

data S4 a b c d

Constructors

S4a a

S4b b

S4c c

S4d d

Instances

Typeable4 S4

(Eq a, Eq b, Eq c, Eq d) => Eq (S4 a b c d)

(Ord a, Ord b, Ord c, Ord d) => Ord (S4 a b c d)

(Read a, Read b, Read c, Read d) => Read (S4 a b c d)

(Show a, Show b, Show c, Show d) => Show (S4 a b c d)

(Typeable a, Show a, Typeable b, Show b, Typeable c, Show c, Typeable d, Show d) => Exception (S4 a b c d)

data S5 a b c d e

Constructors

S5a a

S5b b

S5c c

S5d d

S5e e

Instances

Typeable5 S5

(Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (S5 a b c d e)

(Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (S5 a b c d e)

(Read a, Read b, Read c, Read d, Read e) => Read (S5 a b c d e)

(Show a, Show b, Show c, Show d, Show e) => Show (S5 a b c d e)

(Typeable a, Show a, Typeable b, Show b, Typeable c, Show c, Typeable d, Show d, Typeable e, Show e) => Exception (S5 a b c d e)

data S6 a b c d e f

Constructors

S6a a

S6b b

S6c c

S6d d

S6e e

S6f f

Instances

Typeable6 S6

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (S6 a b c d e f)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f) => Ord (S6 a b c d e f)

(Read a, Read b, Read c, Read d, Read e, Read f) => Read (S6 a b c d e f)

(Show a, Show b, Show c, Show d, Show e, Show f) => Show (S6 a b c d e f)

(Typeable a, Show a, Typeable b, Show b, Typeable c, Show c, Typeable d, Show d, Typeable e, Show e, Typeable f, Show f) => Exception (S6 a b c d e f)

data S7 a b c d e f g

Constructors

S7a a

S7b b

S7c c

S7d d

S7e e

S7f f

S7g g

Instances

Typeable7 S7

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (S7 a b c d e f g)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g) => Ord (S7 a b c d e f g)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g) => Read (S7 a b c d e f g)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (S7 a b c d e f g)

(Typeable a, Show a, Typeable b, Show b, Typeable c, Show c, Typeable d, Show d, Typeable e, Show e, Typeable f, Show f, Typeable g, Show g) => Exception (S7 a b c d e f g)

data S8 a b c d e f g h

Constructors

S8a a

S8b b

S8c c

S8d d

S8e e

S8f f

S8g g

S8h h

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (S8 a b c d e f g h)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h) => Ord (S8 a b c d e f g h)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h) => Read (S8 a b c d e f g h)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (S8 a b c d e f g h)

data S9 a b c d e f g h i

Constructors

S9a a

S9b b

S9c c

S9d d

S9e e

S9f f

S9g g

S9h h

S9i i

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (S9 a b c d e f g h i)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i) => Ord (S9 a b c d e f g h i)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i) => Read (S9 a b c d e f g h i)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (S9 a b c d e f g h i)

data S10 a b c d e f g h i j

Constructors

S10a a

S10b b

S10c c

S10d d

S10e e

S10f f

S10g g

S10h h

S10i i

S10j j

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (S10 a b c d e f g h i j)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j) => Ord (S10 a b c d e f g h i j)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j) => Read (S10 a b c d e f g h i j)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (S10 a b c d e f g h i j)

data S11 a b c d e f g h i j k

Constructors

S11a a

S11b b

S11c c

S11d d

S11e e

S11f f

S11g g

S11h h

S11i i

S11j j

S11k k

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (S11 a b c d e f g h i j k)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k) => Ord (S11 a b c d e f g h i j k)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k) => Read (S11 a b c d e f g h i j k)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (S11 a b c d e f g h i j k)

data S12 a b c d e f g h i j k l

Constructors

S12a a

S12b b

S12c c

S12d d

S12e e

S12f f

S12g g

S12h h

S12i i

S12j j

S12k k

S12l l

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (S12 a b c d e f g h i j k l)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l) => Ord (S12 a b c d e f g h i j k l)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l) => Read (S12 a b c d e f g h i j k l)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (S12 a b c d e f g h i j k l)

data S13 a b c d e f g h i j k l m

Constructors

S13a a

S13b b

S13c c

S13d d

S13e e

S13f f

S13g g

S13h h

S13i i

S13j j

S13k k

S13l l

S13m m

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (S13 a b c d e f g h i j k l m)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m) => Ord (S13 a b c d e f g h i j k l m)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m) => Read (S13 a b c d e f g h i j k l m)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (S13 a b c d e f g h i j k l m)

data S14 a b c d e f g h i j k l m n

Constructors

S14a a

S14b b

S14c c

S14d d

S14e e

S14f f

S14g g

S14h h

S14i i

S14j j

S14k k

S14l l

S14m m

S14n n

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (S14 a b c d e f g h i j k l m n)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n) => Ord (S14 a b c d e f g h i j k l m n)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n) => Read (S14 a b c d e f g h i j k l m n)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (S14 a b c d e f g h i j k l m n)

data S15 a b c d e f g h i j k l m n o

Constructors

S15a a

S15b b

S15c c

S15d d

S15e e

S15f f

S15g g

S15h h

S15i i

S15j j

S15k k

S15l l

S15m m

S15n n

S15o o

Instances

(Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (S15 a b c d e f g h i j k l m n o)

(Ord a, Ord b, Ord c, Ord d, Ord e, Ord f, Ord g, Ord h, Ord i, Ord j, Ord k, Ord l, Ord m, Ord n, Ord o) => Ord (S15 a b c d e f g h i j k l m n o)

(Read a, Read b, Read c, Read d, Read e, Read f, Read g, Read h, Read i, Read j, Read k, Read l, Read m, Read n, Read o) => Read (S15 a b c d e f g h i j k l m n o)

(Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (S15 a b c d e f g h i j k l m n o)

Partitioning

partitionS0 :: [S0] -> ()

partitionS1 :: [S1 a] -> [a]

partitionS2 :: [S2 a b] -> ([a], [b])

partitionS3 :: [S3 a b c] -> ([a], [b], [c])

partitionS4 :: [S4 a b c d] -> ([a], [b], [c], [d])

partitionS5 :: [S5 a b c d e] -> ([a], [b], [c], [d], [e])

partitionS6 :: [S6 a b c d e f] -> ([a], [b], [c], [d], [e], [f])

partitionS7 :: [S7 a b c d e f g] -> ([a], [b], [c], [d], [e], [f], [g])

partitionS8 :: [S8 a b c d e f g h] -> ([a], [b], [c], [d], [e], [f], [g], [h])

partitionS9 :: [S9 a b c d e f g h i] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i])

partitionS10 :: [S10 a b c d e f g h i j] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i], [j])

partitionS11 :: [S11 a b c d e f g h i j k] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i], [j], [k])

partitionS12 :: [S12 a b c d e f g h i j k l] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i], [j], [k], [l])

partitionS13 :: [S13 a b c d e f g h i j k l m] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i], [j], [k], [l], [m])

partitionS14 :: [S14 a b c d e f g h i j k l m n] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i], [j], [k], [l], [m], [n])

partitionS15 :: [S15 a b c d e f g h i j k l m n o] -> ([a], [b], [c], [d], [e], [f], [g], [h], [i], [j], [k], [l], [m], [n], [o])

Case analysis

caseS0 :: S0 -> z

caseS1 :: (a -> z) -> S1 a -> z

caseS2 :: (a -> z) -> (b -> z) -> S2 a b -> z

caseS3 :: (a -> z) -> (b -> z) -> (c -> z) -> S3 a b c -> z

caseS4 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> S4 a b c d -> z

caseS5 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> S5 a b c d e -> z

caseS6 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> S6 a b c d e f -> z

caseS7 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> S7 a b c d e f g -> z

caseS8 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> S8 a b c d e f g h -> z

caseS9 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> (i -> z) -> S9 a b c d e f g h i -> z

caseS10 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> (i -> z) -> (j -> z) -> S10 a b c d e f g h i j -> z

caseS11 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> (i -> z) -> (j -> z) -> (k -> z) -> S11 a b c d e f g h i j k -> z

caseS12 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> (i -> z) -> (j -> z) -> (k -> z) -> (l -> z) -> S12 a b c d e f g h i j k l -> z

caseS13 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> (i -> z) -> (j -> z) -> (k -> z) -> (l -> z) -> (m -> z) -> S13 a b c d e f g h i j k l m -> z

caseS14 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> (i -> z) -> (j -> z) -> (k -> z) -> (l -> z) -> (m -> z) -> (n -> z) -> S14 a b c d e f g h i j k l m n -> z

caseS15 :: (a -> z) -> (b -> z) -> (c -> z) -> (d -> z) -> (e -> z) -> (f -> z) -> (g -> z) -> (h -> z) -> (i -> z) -> (j -> z) -> (k -> z) -> (l -> z) -> (m -> z) -> (n -> z) -> (o -> z) -> S15 a b c d e f g h i j k l m n o -> z

Mapping

mapS0 :: S0 -> S0

mapS1 :: (a -> a1) -> S1 a -> S1 a1

mapS2 :: (a -> a1) -> (b -> b1) -> S2 a b -> S2 a1 b1

mapS3 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> S3 a b c -> S3 a1 b1 c1

mapS4 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> S4 a b c d -> S4 a1 b1 c1 d1

mapS5 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> S5 a b c d e -> S5 a1 b1 c1 d1 e1

mapS6 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> S6 a b c d e f -> S6 a1 b1 c1 d1 e1 f1

mapS7 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> S7 a b c d e f g -> S7 a1 b1 c1 d1 e1 f1 g1

mapS8 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> S8 a b c d e f g h -> S8 a1 b1 c1 d1 e1 f1 g1 h1

mapS9 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> (i -> i1) -> S9 a b c d e f g h i -> S9 a1 b1 c1 d1 e1 f1 g1 h1 i1

mapS10 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> (i -> i1) -> (j -> j1) -> S10 a b c d e f g h i j -> S10 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1

mapS11 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> (i -> i1) -> (j -> j1) -> (k -> k1) -> S11 a b c d e f g h i j k -> S11 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1

mapS12 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> (i -> i1) -> (j -> j1) -> (k -> k1) -> (l -> l1) -> S12 a b c d e f g h i j k l -> S12 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1

mapS13 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> (i -> i1) -> (j -> j1) -> (k -> k1) -> (l -> l1) -> (m -> m1) -> S13 a b c d e f g h i j k l m -> S13 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1

mapS14 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> (i -> i1) -> (j -> j1) -> (k -> k1) -> (l -> l1) -> (m -> m1) -> (n -> n1) -> S14 a b c d e f g h i j k l m n -> S14 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1

mapS15 :: (a -> a1) -> (b -> b1) -> (c -> c1) -> (d -> d1) -> (e -> e1) -> (f -> f1) -> (g -> g1) -> (h -> h1) -> (i -> i1) -> (j -> j1) -> (k -> k1) -> (l -> l1) -> (m -> m1) -> (n -> n1) -> (o -> o1) -> S15 a b c d e f g h i j k l m n o -> S15 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1

Mapping in a Functor

mapS0f :: Functor ftr => S0 -> ftr S0

mapS1f :: Functor ftr => (a -> ftr a1) -> S1 a -> ftr (S1 a1)

mapS2f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> S2 a b -> ftr (S2 a1 b1)

mapS3f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> S3 a b c -> ftr (S3 a1 b1 c1)

mapS4f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> S4 a b c d -> ftr (S4 a1 b1 c1 d1)

mapS5f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> S5 a b c d e -> ftr (S5 a1 b1 c1 d1 e1)

mapS6f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> S6 a b c d e f -> ftr (S6 a1 b1 c1 d1 e1 f1)

mapS7f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> S7 a b c d e f g -> ftr (S7 a1 b1 c1 d1 e1 f1 g1)

mapS8f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> S8 a b c d e f g h -> ftr (S8 a1 b1 c1 d1 e1 f1 g1 h1)

mapS9f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> (i -> ftr i1) -> S9 a b c d e f g h i -> ftr (S9 a1 b1 c1 d1 e1 f1 g1 h1 i1)

mapS10f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> (i -> ftr i1) -> (j -> ftr j1) -> S10 a b c d e f g h i j -> ftr (S10 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1)

mapS11f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> (i -> ftr i1) -> (j -> ftr j1) -> (k -> ftr k1) -> S11 a b c d e f g h i j k -> ftr (S11 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1)

mapS12f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> (i -> ftr i1) -> (j -> ftr j1) -> (k -> ftr k1) -> (l -> ftr l1) -> S12 a b c d e f g h i j k l -> ftr (S12 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1)

mapS13f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> (i -> ftr i1) -> (j -> ftr j1) -> (k -> ftr k1) -> (l -> ftr l1) -> (m -> ftr m1) -> S13 a b c d e f g h i j k l m -> ftr (S13 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1)

mapS14f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> (i -> ftr i1) -> (j -> ftr j1) -> (k -> ftr k1) -> (l -> ftr l1) -> (m -> ftr m1) -> (n -> ftr n1) -> S14 a b c d e f g h i j k l m n -> ftr (S14 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1)

mapS15f :: Functor ftr => (a -> ftr a1) -> (b -> ftr b1) -> (c -> ftr c1) -> (d -> ftr d1) -> (e -> ftr e1) -> (f -> ftr f1) -> (g -> ftr g1) -> (h -> ftr h1) -> (i -> ftr i1) -> (j -> ftr j1) -> (k -> ftr k1) -> (l -> ftr l1) -> (m -> ftr m1) -> (n -> ftr n1) -> (o -> ftr o1) -> S15 a b c d e f g h i j k l m n o -> ftr (S15 a1 b1 c1 d1 e1 f1 g1 h1 i1 j1 k1 l1 m1 n1 o1)