Data.Sums

Anonymous sum types

data S2 a b

data S3 a b c

data S4 a b c d

data S5 a b c d e

data S6 a b c d e f

data S7 a b c d e f g

data S8 a b c d e f g h

data S9 a b c d e f g h i

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

data 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

data 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

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

Partitioning

partitionS2

partitionS3

partitionS4

partitionS5

partitionS6

partitionS7

partitionS8

partitionS9

partitionS10

partitionS11

partitionS12

partitionS13

partitionS14

partitionS15

Case analysis

caseS2

caseS3

caseS4

caseS5

caseS6

caseS7

caseS8

caseS9

caseS10

caseS11

caseS12

caseS13

caseS14

caseS15

Mapping

mapS2

mapS3

mapS4

mapS5

mapS6

mapS7

mapS8

mapS9

mapS10

mapS11

mapS12

mapS13

mapS14

mapS15

Mapping in a Functor

mapS2f

mapS3f

mapS4f

mapS5f

mapS6f

mapS7f

mapS8f

mapS9f

mapS10f

mapS11f

mapS12f

mapS13f

mapS14f

mapS15f