Data.Aeson.Schema.Choice

This module implements generalized sum types. In theory, you could use a type representing a choice between different options by nesting the Either type. In practice, however, pattern matching against such a type can quickly become unwieldy. This module defines data types and functions for any number of choices from 2 to 20. The naming schema is based on Data.Either. For example:

 data Choice3 a b c = Choice1of3 a | Choice2of3 b | Choice3of3 c deriving (...)
 choice3 :: (a -> x) -> (b -> x) -> (c -> x) -> Choice3 a b c -> x
 mapChoice3 :: (a1 -> a2) -> (b1 -> b2) -> (c1 -> c2) -> Choice a1 b1 c1 -> Choice a2 b2 c2
 choice1of3s :: [Choice3 a b c] -> [a]
 choice2of3s :: [Choice3 a b c] -> [b]
 choice3of3s :: [Choice3 a b c] -> [c]

Documentation

data Choice20 a b c d e f g h i j k l m n o p q r s t

Constructors

Choice1of20 a

Choice2of20 b

Choice3of20 c

Choice4of20 d

Choice5of20 e

Choice6of20 f

Choice7of20 g

Choice8of20 h

Choice9of20 i

Choice10of20 j

Choice11of20 k

Choice12of20 l

Choice13of20 m

Choice14of20 n

Choice15of20 o

Choice16of20 p

Choice17of20 q

Choice18of20 r

Choice19of20 s

Choice20of20 t

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 p, Eq q, Eq r, Eq s, Eq t) => Eq (Choice20 a b c d e f g h i j k l m n o p q r s t)

(Eq (Choice20 a b c d e f g h i j k l m n o p q r s t), 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 p, Ord q, Ord r, Ord s, Ord t) => Ord (Choice20 a b c d e f g h i j k l m n o p q r s t)

(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 p, Read q, Read r, Read s, Read t) => Read (Choice20 a b c d e f g h i j k l m n o p q r s t)

(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 p, Show q, Show r, Show s, Show t) => Show (Choice20 a b c d e f g h i j k l m n o p q r s t)

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q, Arbitrary r, Arbitrary s, Arbitrary t) => Arbitrary (Choice20 a b c d e f g h i j k l m n o p q r s t)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q, ToJSON r, ToJSON s, ToJSON t) => ToJSON (Choice20 a b c d e f g h i j k l m n o p q r s t)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q, FromJSON r, FromJSON s, FromJSON t) => FromJSON (Choice20 a b c d e f g h i j k l m n o p q r s t)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0, Lift r0, Lift s0, Lift t0) => Lift (Choice20 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0 r0 s0 t0)

data Choice19 a b c d e f g h i j k l m n o p q r s

Constructors

Choice1of19 a

Choice2of19 b

Choice3of19 c

Choice4of19 d

Choice5of19 e

Choice6of19 f

Choice7of19 g

Choice8of19 h

Choice9of19 i

Choice10of19 j

Choice11of19 k

Choice12of19 l

Choice13of19 m

Choice14of19 n

Choice15of19 o

Choice16of19 p

Choice17of19 q

Choice18of19 r

Choice19of19 s

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 p, Eq q, Eq r, Eq s) => Eq (Choice19 a b c d e f g h i j k l m n o p q r s)

(Eq (Choice19 a b c d e f g h i j k l m n o p q r s), 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 p, Ord q, Ord r, Ord s) => Ord (Choice19 a b c d e f g h i j k l m n o p q r s)

(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 p, Read q, Read r, Read s) => Read (Choice19 a b c d e f g h i j k l m n o p q r s)

(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 p, Show q, Show r, Show s) => Show (Choice19 a b c d e f g h i j k l m n o p q r s)

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q, Arbitrary r, Arbitrary s) => Arbitrary (Choice19 a b c d e f g h i j k l m n o p q r s)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q, ToJSON r, ToJSON s) => ToJSON (Choice19 a b c d e f g h i j k l m n o p q r s)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q, FromJSON r, FromJSON s) => FromJSON (Choice19 a b c d e f g h i j k l m n o p q r s)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0, Lift r0, Lift s0) => Lift (Choice19 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0 r0 s0)

data Choice18 a b c d e f g h i j k l m n o p q r

Constructors

Choice1of18 a

Choice2of18 b

Choice3of18 c

Choice4of18 d

Choice5of18 e

Choice6of18 f

Choice7of18 g

Choice8of18 h

Choice9of18 i

Choice10of18 j

Choice11of18 k

Choice12of18 l

Choice13of18 m

Choice14of18 n

Choice15of18 o

Choice16of18 p

Choice17of18 q

Choice18of18 r

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 p, Eq q, Eq r) => Eq (Choice18 a b c d e f g h i j k l m n o p q r)

(Eq (Choice18 a b c d e f g h i j k l m n o p q r), 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 p, Ord q, Ord r) => Ord (Choice18 a b c d e f g h i j k l m n o p q r)

(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 p, Read q, Read r) => Read (Choice18 a b c d e f g h i j k l m n o p q r)

(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 p, Show q, Show r) => Show (Choice18 a b c d e f g h i j k l m n o p q r)

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q, Arbitrary r) => Arbitrary (Choice18 a b c d e f g h i j k l m n o p q r)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q, ToJSON r) => ToJSON (Choice18 a b c d e f g h i j k l m n o p q r)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q, FromJSON r) => FromJSON (Choice18 a b c d e f g h i j k l m n o p q r)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0, Lift r0) => Lift (Choice18 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0 r0)

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

Constructors

Choice1of17 a

Choice2of17 b

Choice3of17 c

Choice4of17 d

Choice5of17 e

Choice6of17 f

Choice7of17 g

Choice8of17 h

Choice9of17 i

Choice10of17 j

Choice11of17 k

Choice12of17 l

Choice13of17 m

Choice14of17 n

Choice15of17 o

Choice16of17 p

Choice17of17 q

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 p, Eq q) => Eq (Choice17 a b c d e f g h i j k l m n o p q)

(Eq (Choice17 a b c d e f g h i j k l m n o p q), 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 p, Ord q) => Ord (Choice17 a b c d e f g h i j k l m n o p q)

(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 p, Read q) => Read (Choice17 a b c d e f g h i j k l m n o p q)

(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 p, Show q) => Show (Choice17 a b c d e f g h i j k l m n o p q)

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j, Arbitrary k, Arbitrary l, Arbitrary m, Arbitrary n, Arbitrary o, Arbitrary p, Arbitrary q) => Arbitrary (Choice17 a b c d e f g h i j k l m n o p q)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o, ToJSON p, ToJSON q) => ToJSON (Choice17 a b c d e f g h i j k l m n o p q)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o, FromJSON p, FromJSON q) => FromJSON (Choice17 a b c d e f g h i j k l m n o p q)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0, Lift q0) => Lift (Choice17 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0 q0)

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

Constructors

Choice1of16 a

Choice2of16 b

Choice3of16 c

Choice4of16 d

Choice5of16 e

Choice6of16 f

Choice7of16 g

Choice8of16 h

Choice9of16 i

Choice10of16 j

Choice11of16 k

Choice12of16 l

Choice13of16 m

Choice14of16 n

Choice15of16 o

Choice16of16 p

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 p) => Eq (Choice16 a b c d e f g h i j k l m n o p)

(Eq (Choice16 a b c d e f g h i j k l m n o p), 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 p) => Ord (Choice16 a b c d e f g h i j k l m n o p)

(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 p) => Read (Choice16 a b c d e f g h i j k l m n o p)

(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 p) => Show (Choice16 a b c d e f g h i j k l m n o p)

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

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

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

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0, Lift p0) => Lift (Choice16 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0 p0)

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

Constructors

Choice1of15 a

Choice2of15 b

Choice3of15 c

Choice4of15 d

Choice5of15 e

Choice6of15 f

Choice7of15 g

Choice8of15 h

Choice9of15 i

Choice10of15 j

Choice11of15 k

Choice12of15 l

Choice13of15 m

Choice14of15 n

Choice15of15 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 (Choice15 a b c d e f g h i j k l m n o)

(Eq (Choice15 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 (Choice15 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 (Choice15 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 (Choice15 a b c d e f g h i j k l m n o)

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

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

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

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0, Lift o0) => Lift (Choice15 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0 o0)

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

Constructors

Choice1of14 a

Choice2of14 b

Choice3of14 c

Choice4of14 d

Choice5of14 e

Choice6of14 f

Choice7of14 g

Choice8of14 h

Choice9of14 i

Choice10of14 j

Choice11of14 k

Choice12of14 l

Choice13of14 m

Choice14of14 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 (Choice14 a b c d e f g h i j k l m n)

(Eq (Choice14 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 (Choice14 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 (Choice14 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 (Choice14 a b c d e f g h i j k l m n)

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

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

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

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0, Lift n0) => Lift (Choice14 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0 n0)

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

Constructors

Choice1of13 a

Choice2of13 b

Choice3of13 c

Choice4of13 d

Choice5of13 e

Choice6of13 f

Choice7of13 g

Choice8of13 h

Choice9of13 i

Choice10of13 j

Choice11of13 k

Choice12of13 l

Choice13of13 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 (Choice13 a b c d e f g h i j k l m)

(Eq (Choice13 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 (Choice13 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 (Choice13 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 (Choice13 a b c d e f g h i j k l m)

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

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

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

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0, Lift m0) => Lift (Choice13 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0 m0)

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

Constructors

Choice1of12 a

Choice2of12 b

Choice3of12 c

Choice4of12 d

Choice5of12 e

Choice6of12 f

Choice7of12 g

Choice8of12 h

Choice9of12 i

Choice10of12 j

Choice11of12 k

Choice12of12 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 (Choice12 a b c d e f g h i j k l)

(Eq (Choice12 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 (Choice12 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 (Choice12 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 (Choice12 a b c d e f g h i j k l)

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

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

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

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0, Lift l0) => Lift (Choice12 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0 l0)

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

Constructors

Choice1of11 a

Choice2of11 b

Choice3of11 c

Choice4of11 d

Choice5of11 e

Choice6of11 f

Choice7of11 g

Choice8of11 h

Choice9of11 i

Choice10of11 j

Choice11of11 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 (Choice11 a b c d e f g h i j k)

(Eq (Choice11 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 (Choice11 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 (Choice11 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 (Choice11 a b c d e f g h i j k)

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

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

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

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0, Lift k0) => Lift (Choice11 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0 k0)

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

Constructors

Choice1of10 a

Choice2of10 b

Choice3of10 c

Choice4of10 d

Choice5of10 e

Choice6of10 f

Choice7of10 g

Choice8of10 h

Choice9of10 i

Choice10of10 j

Instances

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

(Eq (Choice10 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 (Choice10 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 (Choice10 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 (Choice10 a b c d e f g h i j)

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i, Arbitrary j) => Arbitrary (Choice10 a b c d e f g h i j)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j) => ToJSON (Choice10 a b c d e f g h i j)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j) => FromJSON (Choice10 a b c d e f g h i j)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0, Lift j0) => Lift (Choice10 a0 b0 c0 d0 e0 f0 g0 h0 i0 j0)

data Choice9 a b c d e f g h i

Constructors

Choice1of9 a

Choice2of9 b

Choice3of9 c

Choice4of9 d

Choice5of9 e

Choice6of9 f

Choice7of9 g

Choice8of9 h

Choice9of9 i

Instances

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

(Eq (Choice9 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 (Choice9 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 (Choice9 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 (Choice9 a b c d e f g h i)

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h, Arbitrary i) => Arbitrary (Choice9 a b c d e f g h i)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON (Choice9 a b c d e f g h i)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i) => FromJSON (Choice9 a b c d e f g h i)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0, Lift i0) => Lift (Choice9 a0 b0 c0 d0 e0 f0 g0 h0 i0)

data Choice8 a b c d e f g h

Constructors

Choice1of8 a

Choice2of8 b

Choice3of8 c

Choice4of8 d

Choice5of8 e

Choice6of8 f

Choice7of8 g

Choice8of8 h

Instances

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

(Eq (Choice8 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 (Choice8 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 (Choice8 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 (Choice8 a b c d e f g h)

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g, Arbitrary h) => Arbitrary (Choice8 a b c d e f g h)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h) => ToJSON (Choice8 a b c d e f g h)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h) => FromJSON (Choice8 a b c d e f g h)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0, Lift h0) => Lift (Choice8 a0 b0 c0 d0 e0 f0 g0 h0)

data Choice7 a b c d e f g

Constructors

Choice1of7 a

Choice2of7 b

Choice3of7 c

Choice4of7 d

Choice5of7 e

Choice6of7 f

Choice7of7 g

Instances

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

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

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

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

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f, Arbitrary g) => Arbitrary (Choice7 a b c d e f g)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (Choice7 a b c d e f g)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (Choice7 a b c d e f g)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0, Lift g0) => Lift (Choice7 a0 b0 c0 d0 e0 f0 g0)

data Choice6 a b c d e f

Constructors

Choice1of6 a

Choice2of6 b

Choice3of6 c

Choice4of6 d

Choice5of6 e

Choice6of6 f

Instances

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

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

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

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

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e, Arbitrary f) => Arbitrary (Choice6 a b c d e f)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (Choice6 a b c d e f)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (Choice6 a b c d e f)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0, Lift f0) => Lift (Choice6 a0 b0 c0 d0 e0 f0)

data Choice5 a b c d e

Constructors

Choice1of5 a

Choice2of5 b

Choice3of5 c

Choice4of5 d

Choice5of5 e

Instances

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

(Eq (Choice5 a b c d e), Ord a, Ord b, Ord c, Ord d, Ord e) => Ord (Choice5 a b c d e)

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

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

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d, Arbitrary e) => Arbitrary (Choice5 a b c d e)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (Choice5 a b c d e)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (Choice5 a b c d e)

(Lift a0, Lift b0, Lift c0, Lift d0, Lift e0) => Lift (Choice5 a0 b0 c0 d0 e0)

data Choice4 a b c d

Constructors

Choice1of4 a

Choice2of4 b

Choice3of4 c

Choice4of4 d

Instances

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

(Eq (Choice4 a b c d), Ord a, Ord b, Ord c, Ord d) => Ord (Choice4 a b c d)

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

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

(Arbitrary a, Arbitrary b, Arbitrary c, Arbitrary d) => Arbitrary (Choice4 a b c d)

(ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (Choice4 a b c d)

(FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (Choice4 a b c d)

(Lift a0, Lift b0, Lift c0, Lift d0) => Lift (Choice4 a0 b0 c0 d0)

data Choice3 a b c

Constructors

Choice1of3 a

Choice2of3 b

Choice3of3 c

Instances

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

(Eq (Choice3 a b c), Ord a, Ord b, Ord c) => Ord (Choice3 a b c)

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

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

(Arbitrary a, Arbitrary b, Arbitrary c) => Arbitrary (Choice3 a b c)

(ToJSON a, ToJSON b, ToJSON c) => ToJSON (Choice3 a b c)

(FromJSON a, FromJSON b, FromJSON c) => FromJSON (Choice3 a b c)

(Lift a0, Lift b0, Lift c0) => Lift (Choice3 a0 b0 c0)

data Choice2 a b

Constructors

Choice1of2 a

Choice2of2 b

Instances

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

(Eq (Choice2 a b), Ord a, Ord b) => Ord (Choice2 a b)

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

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

(Arbitrary a, Arbitrary b) => Arbitrary (Choice2 a b)

(ToJSON a, ToJSON b) => ToJSON (Choice2 a b)

(FromJSON a, FromJSON b) => FromJSON (Choice2 a b)

(Lift a0, Lift b0) => Lift (Choice2 a0 b0)

choice20of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [t]

choice19of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [s]

choice18of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [r]

choice17of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [q]

choice16of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [p]

choice15of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [o]

choice14of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [n]

choice13of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [m]

choice12of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [l]

choice11of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [k]

choice10of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [j]

choice9of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [i]

choice8of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [h]

choice7of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [g]

choice6of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [f]

choice5of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [e]

choice4of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [d]

choice3of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [c]

choice2of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [b]

choice1of20s :: forall a b c d e f g h i j k l m n o p q r s t. [Choice20 a b c d e f g h i j k l m n o p q r s t] -> [a]

mapChoice20 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> (a18 -> b18) -> (a19 -> b19) -> (a20 -> b20) -> Choice20 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 -> Choice20 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19 b20

choice20 :: forall a b c d e f g h i j k l m n o p q r s t res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> (r -> res) -> (s -> res) -> (t -> res) -> Choice20 a b c d e f g h i j k l m n o p q r s t -> res

choice19of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [s]

choice18of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [r]

choice17of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [q]

choice16of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [p]

choice15of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [o]

choice14of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [n]

choice13of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [m]

choice12of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [l]

choice11of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [k]

choice10of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [j]

choice9of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [i]

choice8of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [h]

choice7of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [g]

choice6of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [f]

choice5of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [e]

choice4of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [d]

choice3of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [c]

choice2of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [b]

choice1of19s :: forall a b c d e f g h i j k l m n o p q r s. [Choice19 a b c d e f g h i j k l m n o p q r s] -> [a]

mapChoice19 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> (a18 -> b18) -> (a19 -> b19) -> Choice19 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 -> Choice19 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18 b19

choice19 :: forall a b c d e f g h i j k l m n o p q r s res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> (r -> res) -> (s -> res) -> Choice19 a b c d e f g h i j k l m n o p q r s -> res

choice18of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [r]

choice17of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [q]

choice16of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [p]

choice15of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [o]

choice14of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [n]

choice13of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [m]

choice12of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [l]

choice11of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [k]

choice10of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [j]

choice9of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [i]

choice8of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [h]

choice7of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [g]

choice6of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [f]

choice5of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [e]

choice4of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [d]

choice3of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [c]

choice2of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [b]

choice1of18s :: forall a b c d e f g h i j k l m n o p q r. [Choice18 a b c d e f g h i j k l m n o p q r] -> [a]

mapChoice18 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> (a18 -> b18) -> Choice18 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 -> Choice18 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17 b18

choice18 :: forall a b c d e f g h i j k l m n o p q r res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> (r -> res) -> Choice18 a b c d e f g h i j k l m n o p q r -> res

choice17of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [q]

choice16of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [p]

choice15of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [o]

choice14of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [n]

choice13of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [m]

choice12of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [l]

choice11of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [k]

choice10of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [j]

choice9of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [i]

choice8of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [h]

choice7of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [g]

choice6of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [f]

choice5of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [e]

choice4of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [d]

choice3of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [c]

choice2of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [b]

choice1of17s :: forall a b c d e f g h i j k l m n o p q. [Choice17 a b c d e f g h i j k l m n o p q] -> [a]

mapChoice17 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> (a17 -> b17) -> Choice17 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 -> Choice17 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16 b17

choice17 :: forall a b c d e f g h i j k l m n o p q res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> (q -> res) -> Choice17 a b c d e f g h i j k l m n o p q -> res

choice16of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [p]

choice15of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [o]

choice14of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [n]

choice13of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [m]

choice12of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [l]

choice11of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [k]

choice10of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [j]

choice9of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [i]

choice8of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [h]

choice7of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [g]

choice6of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [f]

choice5of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [e]

choice4of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [d]

choice3of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [c]

choice2of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [b]

choice1of16s :: forall a b c d e f g h i j k l m n o p. [Choice16 a b c d e f g h i j k l m n o p] -> [a]

mapChoice16 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> (a16 -> b16) -> Choice16 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 -> Choice16 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15 b16

choice16 :: forall a b c d e f g h i j k l m n o p res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> (p -> res) -> Choice16 a b c d e f g h i j k l m n o p -> res

choice15of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [o]

choice14of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [n]

choice13of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [m]

choice12of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [l]

choice11of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [k]

choice10of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [j]

choice9of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [i]

choice8of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [h]

choice7of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [g]

choice6of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [f]

choice5of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [e]

choice4of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [d]

choice3of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [c]

choice2of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [b]

choice1of15s :: forall a b c d e f g h i j k l m n o. [Choice15 a b c d e f g h i j k l m n o] -> [a]

mapChoice15 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> (a15 -> b15) -> Choice15 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 -> Choice15 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14 b15

choice15 :: forall a b c d e f g h i j k l m n o res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> (o -> res) -> Choice15 a b c d e f g h i j k l m n o -> res

choice14of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [n]

choice13of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [m]

choice12of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [l]

choice11of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [k]

choice10of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [j]

choice9of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [i]

choice8of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [h]

choice7of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [g]

choice6of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [f]

choice5of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [e]

choice4of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [d]

choice3of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [c]

choice2of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [b]

choice1of14s :: forall a b c d e f g h i j k l m n. [Choice14 a b c d e f g h i j k l m n] -> [a]

mapChoice14 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> (a14 -> b14) -> Choice14 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 -> Choice14 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 b14

choice14 :: forall a b c d e f g h i j k l m n res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> (n -> res) -> Choice14 a b c d e f g h i j k l m n -> res

choice13of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [m]

choice12of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [l]

choice11of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [k]

choice10of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [j]

choice9of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [i]

choice8of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [h]

choice7of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [g]

choice6of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [f]

choice5of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [e]

choice4of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [d]

choice3of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [c]

choice2of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [b]

choice1of13s :: forall a b c d e f g h i j k l m. [Choice13 a b c d e f g h i j k l m] -> [a]

mapChoice13 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> (a13 -> b13) -> Choice13 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 -> Choice13 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13

choice13 :: forall a b c d e f g h i j k l m res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> (m -> res) -> Choice13 a b c d e f g h i j k l m -> res

choice12of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [l]

choice11of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [k]

choice10of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [j]

choice9of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [i]

choice8of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [h]

choice7of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [g]

choice6of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [f]

choice5of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [e]

choice4of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [d]

choice3of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [c]

choice2of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [b]

choice1of12s :: forall a b c d e f g h i j k l. [Choice12 a b c d e f g h i j k l] -> [a]

mapChoice12 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> (a12 -> b12) -> Choice12 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 -> Choice12 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12

choice12 :: forall a b c d e f g h i j k l res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> (l -> res) -> Choice12 a b c d e f g h i j k l -> res

choice11of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [k]

choice10of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [j]

choice9of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [i]

choice8of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [h]

choice7of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [g]

choice6of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [f]

choice5of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [e]

choice4of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [d]

choice3of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [c]

choice2of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [b]

choice1of11s :: forall a b c d e f g h i j k. [Choice11 a b c d e f g h i j k] -> [a]

mapChoice11 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> (a11 -> b11) -> Choice11 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 -> Choice11 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11

choice11 :: forall a b c d e f g h i j k res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> (k -> res) -> Choice11 a b c d e f g h i j k -> res

choice10of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [j]

choice9of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [i]

choice8of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [h]

choice7of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [g]

choice6of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [f]

choice5of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [e]

choice4of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [d]

choice3of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [c]

choice2of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [b]

choice1of10s :: forall a b c d e f g h i j. [Choice10 a b c d e f g h i j] -> [a]

mapChoice10 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> (a10 -> b10) -> Choice10 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 -> Choice10 b1 b2 b3 b4 b5 b6 b7 b8 b9 b10

choice10 :: forall a b c d e f g h i j res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> (j -> res) -> Choice10 a b c d e f g h i j -> res

choice9of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [i]

choice8of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [h]

choice7of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [g]

choice6of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [f]

choice5of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [e]

choice4of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [d]

choice3of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [c]

choice2of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [b]

choice1of9s :: forall a b c d e f g h i. [Choice9 a b c d e f g h i] -> [a]

mapChoice9 :: forall a1 a2 a3 a4 a5 a6 a7 a8 a9 b1 b2 b3 b4 b5 b6 b7 b8 b9. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> (a9 -> b9) -> Choice9 a1 a2 a3 a4 a5 a6 a7 a8 a9 -> Choice9 b1 b2 b3 b4 b5 b6 b7 b8 b9

choice9 :: forall a b c d e f g h i res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> (i -> res) -> Choice9 a b c d e f g h i -> res

choice8of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [h]

choice7of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [g]

choice6of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [f]

choice5of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [e]

choice4of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [d]

choice3of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [c]

choice2of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [b]

choice1of8s :: forall a b c d e f g h. [Choice8 a b c d e f g h] -> [a]

mapChoice8 :: forall a1 a2 a3 a4 a5 a6 a7 a8 b1 b2 b3 b4 b5 b6 b7 b8. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> (a8 -> b8) -> Choice8 a1 a2 a3 a4 a5 a6 a7 a8 -> Choice8 b1 b2 b3 b4 b5 b6 b7 b8

choice8 :: forall a b c d e f g h res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> (h -> res) -> Choice8 a b c d e f g h -> res

choice7of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [g]

choice6of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [f]

choice5of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [e]

choice4of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [d]

choice3of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [c]

choice2of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [b]

choice1of7s :: forall a b c d e f g. [Choice7 a b c d e f g] -> [a]

mapChoice7 :: forall a1 a2 a3 a4 a5 a6 a7 b1 b2 b3 b4 b5 b6 b7. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> (a7 -> b7) -> Choice7 a1 a2 a3 a4 a5 a6 a7 -> Choice7 b1 b2 b3 b4 b5 b6 b7

choice7 :: forall a b c d e f g res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> (g -> res) -> Choice7 a b c d e f g -> res

choice6of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [f]

choice5of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [e]

choice4of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [d]

choice3of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [c]

choice2of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [b]

choice1of6s :: forall a b c d e f. [Choice6 a b c d e f] -> [a]

mapChoice6 :: forall a1 a2 a3 a4 a5 a6 b1 b2 b3 b4 b5 b6. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> (a6 -> b6) -> Choice6 a1 a2 a3 a4 a5 a6 -> Choice6 b1 b2 b3 b4 b5 b6

choice6 :: forall a b c d e f res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> (f -> res) -> Choice6 a b c d e f -> res

choice5of5s :: forall a b c d e. [Choice5 a b c d e] -> [e]

choice4of5s :: forall a b c d e. [Choice5 a b c d e] -> [d]

choice3of5s :: forall a b c d e. [Choice5 a b c d e] -> [c]

choice2of5s :: forall a b c d e. [Choice5 a b c d e] -> [b]

choice1of5s :: forall a b c d e. [Choice5 a b c d e] -> [a]

mapChoice5 :: forall a1 a2 a3 a4 a5 b1 b2 b3 b4 b5. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> (a5 -> b5) -> Choice5 a1 a2 a3 a4 a5 -> Choice5 b1 b2 b3 b4 b5

choice5 :: forall a b c d e res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> (e -> res) -> Choice5 a b c d e -> res

choice4of4s :: forall a b c d. [Choice4 a b c d] -> [d]

choice3of4s :: forall a b c d. [Choice4 a b c d] -> [c]

choice2of4s :: forall a b c d. [Choice4 a b c d] -> [b]

choice1of4s :: forall a b c d. [Choice4 a b c d] -> [a]

mapChoice4 :: forall a1 a2 a3 a4 b1 b2 b3 b4. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> (a4 -> b4) -> Choice4 a1 a2 a3 a4 -> Choice4 b1 b2 b3 b4

choice4 :: forall a b c d res. (a -> res) -> (b -> res) -> (c -> res) -> (d -> res) -> Choice4 a b c d -> res

choice3of3s :: forall a b c. [Choice3 a b c] -> [c]

choice2of3s :: forall a b c. [Choice3 a b c] -> [b]

choice1of3s :: forall a b c. [Choice3 a b c] -> [a]

mapChoice3 :: forall a1 a2 a3 b1 b2 b3. (a1 -> b1) -> (a2 -> b2) -> (a3 -> b3) -> Choice3 a1 a2 a3 -> Choice3 b1 b2 b3

choice3 :: forall a b c res. (a -> res) -> (b -> res) -> (c -> res) -> Choice3 a b c -> res

choice2of2s :: forall a b. [Choice2 a b] -> [b]

choice1of2s :: forall a b. [Choice2 a b] -> [a]

mapChoice2 :: forall a1 a2 b1 b2. (a1 -> b1) -> (a2 -> b2) -> Choice2 a1 a2 -> Choice2 b1 b2

choice2 :: forall a b res. (a -> res) -> (b -> res) -> Choice2 a b -> res