CompoundTypes.Strict

Sum-types

data Sum2 _1 _2

data Sum3 _1 _2 _3

data Sum4 _1 _2 _3 _4

data Sum5 _1 _2 _3 _4 _5

data Sum6 _1 _2 _3 _4 _5 _6

data Sum7 _1 _2 _3 _4 _5 _6 _7

type family a + b

Subtraction

type family a - b

data Unsubtracted minuend subtrahend

Product-types

data Product2 _1 _2

data Product3 _1 _2 _3

data Product4 _1 _2 _3 _4

data Product5 _1 _2 _3 _4 _5

data Product6 _1 _2 _3 _4 _5 _6

data Product7 _1 _2 _3 _4 _5 _6 _7

type family a * b

Division

type family a / b

data Undivided dividend divisor