CompoundTypes.Strict

Sum-types

data Sum2 v1 v2

data Sum3 v1 v2 v3

data Sum4 v1 v2 v3 v4

data Sum5 v1 v2 v3 v4 v5

data Sum6 v1 v2 v3 v4 v5 v6

data Sum7 v1 v2 v3 v4 v5 v6 v7

type family a + b

Product-types

data Product2 v1 v2

data Product3 v1 v2 v3

data Product4 v1 v2 v3 v4

data Product5 v1 v2 v3 v4 v5

data Product6 v1 v2 v3 v4 v5 v6

data Product7 v1 v2 v3 v4 v5 v6 v7

type family a * b