module CompoundTypes.Private.Lazy.Sum where
data Sum2 v1 v2 =
Sum2_1 v1 | Sum2_2 v2
data Sum3 v1 v2 v3 =
Sum3_1 v1 | Sum3_2 v2 | Sum3_3 v3
data Sum4 v1 v2 v3 v4 =
Sum4_1 v1 | Sum4_2 v2 | Sum4_3 v3 | Sum4_4 v4
data Sum5 v1 v2 v3 v4 v5 =
Sum5_1 v1 | Sum5_2 v2 | Sum5_3 v3 | Sum5_4 v4 | Sum5_5 v5
data Sum6 v1 v2 v3 v4 v5 v6 =
Sum6_1 v1 | Sum6_2 v2 | Sum6_3 v3 | Sum6_4 v4 | Sum6_5 v5 | Sum6_6 v6
data Sum7 v1 v2 v3 v4 v5 v6 v7 =
Sum7_1 v1 | Sum7_2 v2 | Sum7_3 v3 | Sum7_4 v4 | Sum7_5 v5 | Sum7_6 v6 | Sum7_7 v7
type family (+) a b where
Sum6 v1 v2 v3 v4 v5 v6 + v7 =
Sum7 v1 v2 v3 v4 v5 v6 v7
Sum5 v1 v2 v3 v4 v5 + Sum2 v6 v7 =
Sum7 v1 v2 v3 v4 v5 v6 v7
Sum5 v1 v2 v3 v4 v5 + v6 =
Sum6 v1 v2 v3 v4 v5 v6
Sum4 v1 v2 v3 v4 + Sum3 v5 v6 v7 =
Sum7 v1 v2 v3 v4 v5 v6 v7
Sum4 v1 v2 v3 v4 + Sum2 v5 v6 =
Sum6 v1 v2 v3 v4 v5 v6
Sum4 v1 v2 v3 v4 + v5 =
Sum5 v1 v2 v3 v4 v5
Sum3 v1 v2 v3 + Sum4 v4 v5 v6 v7 =
Sum7 v1 v2 v3 v4 v5 v6 v7
Sum3 v1 v2 v3 + Sum3 v4 v5 v6 =
Sum6 v1 v2 v3 v4 v5 v6
Sum3 v1 v2 v3 + Sum2 v4 v5 =
Sum5 v1 v2 v3 v4 v5
Sum3 v1 v2 v3 + v4 =
Sum4 v1 v2 v3 v4
Sum2 v1 v2 + Sum5 v3 v4 v5 v6 v7 =
Sum7 v1 v2 v3 v4 v5 v6 v7
Sum2 v1 v2 + Sum4 v3 v4 v5 v6 =
Sum6 v1 v2 v3 v4 v5 v6
Sum2 v1 v2 + Sum3 v3 v4 v5 =
Sum5 v1 v2 v3 v4 v5
Sum2 v1 v2 + Sum2 v3 v4 =
Sum4 v1 v2 v3 v4
Sum2 v1 v2 + v3 =
Sum3 v1 v2 v3
v1 + Sum6 v2 v3 v4 v5 v6 v7 =
Sum7 v1 v2 v3 v4 v5 v6 v7
v1 + Sum5 v2 v3 v4 v5 v6 =
Sum6 v1 v2 v3 v4 v5 v6
v1 + Sum4 v2 v3 v4 v5 =
Sum5 v1 v2 v3 v4 v5
v1 + Sum3 v2 v3 v4 =
Sum4 v1 v2 v3 v4
v1 + Sum2 v2 v3 =
Sum3 v1 v2 v3
v1 + v2 =
Sum2 v1 v2
infixl 0 +