CompoundTypes.Strict

data Sum2 a b

data Sum3 a b c

data Sum4 a b c d

data Sum5 a b c d e

type family a + b where ...

data Product2 a b

data Product3 a b c

data Product4 a b c d

data Product5 a b c d e

type family a * b where ...