Numeric.Tuple

data T0

data T1 a

data T2 a b

data T3 a b c

data T4 a b c d

data T5 a b c d e

data T6 a b c d e f

data T7 a b c d e f g

data T8 a b c d e f g h

data T9 a b c d e f g h i

class AsTuple a b

foldMap'