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

Case analysis

Mapping

Mapping in a Functor